×

zbMATH — the first resource for mathematics

Found 47,934 Documents (Results 1–100)

Hits per Page
100
Display Format
MathJax
Result Sorting
Newest 1st
Kiefer, Stefan (ed.); Tasson, Christine (ed.)
Foundations of software science and computation structures. 24th international conference, FOSSACS 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. (English) Zbl 07373954
Lecture Notes in Computer Science 12650. Cham: Springer (ISBN 978-3-030-71994-4/pbk; 978-3-030-71995-1/ebook). xv, 183 p. (2021).
MSC:  68-06 68Nxx 68Qxx 00B25
PDF BibTeX XML Cite
\textit{S. Kiefer} (ed.) and \textit{C. Tasson} (ed.), Foundations of software science and computation structures. 24th international conference, FOSSACS 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 -- April 1, 2021. Proceedings. Cham: Springer (2021; Zbl 07373954)
Full Text: DOI
Guerra, Esther (ed.); Stoelinga, Mariëlle (ed.)
Fundamental approaches to software engineering. 24th international conference, FASE 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. (English) Zbl 07373953
Lecture Notes in Computer Science 12649. Cham: Springer (ISBN 978-3-030-71499-4/pbk; 978-3-030-71500-7/ebook). xiv, 372 p. (2021).
MSC:  68-06 68Nxx 00B25
PDF BibTeX XML Cite
\textit{E. Guerra} (ed.) and \textit{M. Stoelinga} (ed.), Fundamental approaches to software engineering. 24th international conference, FASE 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 -- April 1, 2021. Proceedings. Cham: Springer (2021; Zbl 07373953)
Full Text: DOI
Yoshida, Nobuko (ed.)
Programming languages and systems. 30th European symposium on programming, ESOP 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. (English) Zbl 07373952
Lecture Notes in Computer Science 12648. Cham: Springer (ISBN 978-3-030-72018-6/pbk; 978-3-030-72019-3/ebook). xii, 263 p. (2021).
MSC:  68-06 68Nxx 00B25
PDF BibTeX XML Cite
\textit{N. Yoshida} (ed.), Programming languages and systems. 30th European symposium on programming, ESOP 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 -- April 1, 2021. Proceedings. Cham: Springer (2021; Zbl 07373952)
Full Text: DOI
Fernández, Maribel (ed.)
Logic-based program synthesis and transformation. 30th international symposium, LOPSTR 2020, Bologna, Italy, September 7–9, 2020. Proceedings. (English) Zbl 07373360
Lecture Notes in Computer Science 12561. Cham: Springer (ISBN 978-3-030-68445-7/pbk; 978-3-030-68446-4/ebook). x, 345 p. (2021).
MSC:  68-06 68N30 00B25
PDF BibTeX XML Cite
\textit{M. Fernández} (ed.), Logic-based program synthesis and transformation. 30th international symposium, LOPSTR 2020, Bologna, Italy, September 7--9, 2020. Proceedings. Cham: Springer (2021; Zbl 07373360)
Full Text: DOI
Bureš, Tomáš (ed.); Dondi, Riccardo (ed.); Gamper, Johann (ed.); Guerrini, Giovanna (ed.); Jurdziński, Tomasz (ed.); Pahl, Claus (ed.); Sikora, Florian (ed.); Wong, Prudence W. H. (ed.)
SOFSEM 2021: theory and practice of computer science. 47th international conference on current trends in theory and practice of computer science, SOFSEM 2021, Bolzano-Bozen, Italy, January 25–29, 2021. Proceedings. (English) Zbl 07373169
Lecture Notes in Computer Science 12607. Cham: Springer (ISBN 978-3-030-67730-5/pbk; 978-3-030-67731-2/ebook). xvi, 624 p. (2021).
MSC:  68-06 68Nxx 68Qxx 00B25
PDF BibTeX XML Cite
\textit{T. Bureš} (ed.) et al., SOFSEM 2021: theory and practice of computer science. 47th international conference on current trends in theory and practice of computer science, SOFSEM 2021, Bolzano-Bozen, Italy, January 25--29, 2021. Proceedings. Cham: Springer (2021; Zbl 07373169)
Full Text: DOI
Cleophas, Loek (ed.); Massink, Mieke (ed.)
Software engineering and formal methods. SEFM 2020 collocated workshops: ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14–15, 2020, Revised selected papers. (English) Zbl 07373162
Lecture Notes in Computer Science 12524.. Cham: Springer (ISBN 978-3-030-67219-5/pbk; 978-3-030-67220-1/ebook). ix, 335 p. (2021).
MSC:  68-06 68Nxx 00B25
PDF BibTeX XML Cite
\textit{L. Cleophas} (ed.) and \textit{M. Massink} (ed.), Software engineering and formal methods. SEFM 2020 collocated workshops: ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14--15, 2020, Revised selected papers. Cham: Springer (2021; Zbl 07373162)
Full Text: DOI
Bansal, Nikhil (ed.); Merelli, Emanuela (ed.); Worrell, James (ed.)
48th international colloquium on automata, languages, and programming, ICALP 2021, Glasgow, Scotland, virtual conference, July 12–16, 2021. (English) Zbl 07370964
LIPIcs – Leibniz International Proceedings in Informatics 198. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik (ISBN 978-3-95977-195-5). xxxviii, 143 articles, not consecutively paged, electronic only, open access (2021).
MSC:  68-06 68Nxx 68Qxx 00B25
PDF BibTeX XML Cite
\textit{N. Bansal} (ed.) et al., 48th international colloquium on automata, languages, and programming, ICALP 2021, Glasgow, Scotland, virtual conference, July 12--16, 2021. Wadern: Schloss Dagstuhl -- Leibniz-Zentrum für Informatik (2021; Zbl 07370964)
Full Text: DOI Link
Chen, Goong; Yang, Jing; Sergeev, Alexey; Wang, Mingwei; Wei, Chunqiu; Yeh, Jean; Morris, Philip J.; Fournier, Noah J.; Chen, Yining; Cheng, Xingong; Yang, Donghui; Xiang, Shuhuang; Scully, Marlan O.
Coupled crash mechanics and biomechanics of aircraft structures and passengers. (English) Zbl 07370437
Commun. Nonlinear Sci. Numer. Simul. 101, Article ID 105850, 48 p. (2021).
MSC:  74R20 74R10 74S05 74L15 74-04 74-05 92C10
PDF BibTeX XML Cite
\textit{G. Chen} et al., Commun. Nonlinear Sci. Numer. Simul. 101, Article ID 105850, 48 p. (2021; Zbl 07370437)
Full Text: DOI
Vershinin, I. S.; Gibadullin, R. F.; Pystogov, S. V.; Raikhlin, V. A.
Associative steganography of text messages. (English. Russian original) Zbl 07369002
Mosc. Univ. Comput. Math. Cybern. 45, No. 1, 1-11 (2021); translation from Vestn. Mosk. Univ., Ser. XV 2021, No. 1, 3-14 (2021).
MSC:  94A60 68P10 68U99
PDF BibTeX XML Cite
\textit{I. S. Vershinin} et al., Mosc. Univ. Comput. Math. Cybern. 45, No. 1, 1--11 (2021; Zbl 07369002); translation from Vestn. Mosk. Univ., Ser. XV 2021, No. 1, 3--14 (2021)
Full Text: DOI
de’Liguoro, Ugo (ed.); Berardi, Stefano (ed.); Altenkirch, Thorsten (ed.)
26th international conference on types for proofs and programs, TYPES 2020, University of Turin, Turin, Italy March 2–5, 2020. (English) Zbl 07359927
LIPIcs – Leibniz International Proceedings in Informatics 188. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik (ISBN 978-3-95977-182-5). vii, 11 articles, not consecutively paged, electronic only, open access (2021).
MSC:  68-06 03B70 68N30 00B25
PDF BibTeX XML Cite
\textit{U. de'Liguoro} (ed.) et al., 26th international conference on types for proofs and programs, TYPES 2020, University of Turin, Turin, Italy March 2--5, 2020. Wadern: Schloss Dagstuhl -- Leibniz-Zentrum für Informatik (2021; Zbl 07359927)
Full Text: DOI Link
Wu, Lang; Qiu, Jin
Applied multivariate statistical analysis and related topics with R. Reprint of the 2014 Science Press edition. (English) Zbl 1461.62004
Current Natural Sciences. Les Ulis: EDP Sciences; Beijing: Science Press (ISBN 978-2-7598-2601-8/pbk; 978-2-7598-2602-5/ebook). viii, 224 p. (2021).
MSC:  62-01 62Hxx 62Pxx 62-04
PDF BibTeX XML Cite
\textit{L. Wu} and \textit{J. Qiu}, Applied multivariate statistical analysis and related topics with R. Les Ulis: EDP Sciences; Beijing: Science Press (2021; Zbl 1461.62004)
Full Text: DOI
Kuznetsov, Mikhail Dmitrievich; Kuznetsov, Dmitriy Feliksovich
SDE-MATH: a software package for the implementation of strong high-order numerical methods for Ito SDEs with multidimensional non-commutative noise based on multiple Fourier-Legendre series. (English) Zbl 07340310
Differ. Uravn. Protsessy Upr. 2021, No. 1, 93-422 (2021).
MSC:  65Y15 65C30
PDF BibTeX XML Cite
\textit{M. D. Kuznetsov} and \textit{D. F. Kuznetsov}, Differ. Uravn. Protsessy Upr. 2021, No. 1, 93--422 (2021; Zbl 07340310)
Full Text: Link
Reis D’Azevedo Breda, Ana Maria; Batista da Silva Trocado, Alexandre Emanuel; Dos Santos Dos Santos, José Manuel
Torus and quadrics intersection using GeoGebra. (English) Zbl 07336498
Cheng, Liang-Yee (ed.), ICGG 2020 – Proceedings of the 19th international conference on geometry and graphics, São Paulo, Brazil, January 18–22, 2021. Cham: Springer. Adv. Intell. Syst. Comput. 1296, 484-493 (2021).
MSC:  68U05 51-04 51M04 68W30 97U70
PDF BibTeX XML Cite
\textit{A. M. Reis D'Azevedo Breda} et al., Adv. Intell. Syst. Comput. 1296, 484--493 (2021; Zbl 07336498)
Full Text: DOI
Bynum, Michael L.; Hackebeil, Gabriel A.; Hart, William E.; Laird, Carl D.; Nicholson, Bethany L.; Siirola, John D.; Watson, Jean-Paul; Woodruff, David L.
Pyomo – optimization modeling in Python. 3rd edition. (English) Zbl 1462.90001
Springer Optimization and Its Applications 67. Cham: Springer (ISBN 978-3-030-68927-8/hbk; 978-3-030-68928-5/ebook). xvii, 225 p. (2021).
MSC:  90-01 00A71 68N15 68W30 90-04 90C90
PDF BibTeX XML Cite
\textit{M. L. Bynum} et al., Pyomo -- optimization modeling in Python. Cham: Springer (2021; Zbl 1462.90001)
Full Text: DOI
Makarovskikh, T. A.; Panyukov, A. V.
Software for the problem of constructing cutting tool paths in CAD/CAM systems for technological preparation of cutting processes. (English. Russian original) Zbl 1460.93066
Autom. Remote Control 82, No. 3, 468-480 (2021); translation from Avtom. Telemekh. 2021, No. 3, 123-137 (2021).
MSC:  93C83 93-04 05C90
PDF BibTeX XML Cite
\textit{T. A. Makarovskikh} and \textit{A. V. Panyukov}, Autom. Remote Control 82, No. 3, 468--480 (2021; Zbl 1460.93066); translation from Avtom. Telemekh. 2021, No. 3, 123--137 (2021)
Full Text: DOI
Alexandrov, V. V.; Lemak, S. S.
Algorithms of dynamic piloted flight simulator stand based on a centrifuge with a controlled cardan suspension. (English. Russian original) Zbl 1459.93126
J. Math. Sci., New York 253, No. 6, 768-777 (2021); translation from Fundam. Prikl. Mat. 22, No. 2, 19-32 (2018).
MSC:  93C95 70Q05 93-04
PDF BibTeX XML Cite
\textit{V. V. Alexandrov} and \textit{S. S. Lemak}, J. Math. Sci., New York 253, No. 6, 768--777 (2021; Zbl 1459.93126); translation from Fundam. Prikl. Mat. 22, No. 2, 19--32 (2018)
Full Text: DOI
Gautschi, Walter
A software repository for Gaussian quadratures and Christoffel functions. (English) Zbl 07314178
Software - Environments - Tools 32. Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM) (ISBN 978-1-61197-634-2/pbk; 978-1-61197-635-9/ebook). xviii, 134 p. (2021).
MSC:  65-02 65-04 65D32
PDF BibTeX XML Cite
\textit{W. Gautschi}, A software repository for Gaussian quadratures and Christoffel functions. Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM) (2021; Zbl 07314178)
Full Text: DOI
Gordon, Andrew D.; Russo, Claudio; Szymczak, Marcin; Borgström, Johannes; Rolland, Nicolas; Graepel, Thore; Tarlow, Daniel
Tabular: probabilistic inference from the spreadsheet. (English) Zbl 07311054
Barthe, Gilles (ed.) et al., Foundations of probabilistic programming. Cambridge: Cambridge University Press. 489-532 (2021).
MSC:  68N01
PDF BibTeX XML Cite
\textit{A. D. Gordon} et al., in: Foundations of probabilistic programming. Cambridge: Cambridge University Press. 489--532 (2021; Zbl 07311054)
Full Text: DOI
Lampropoulos, Leonidas; Pierce, Benjamin C.; Xia, Li-yao; Gallois-Wong, Diane; Hriţcu, Cătălin; Hughes, John
Luck: a probabilistic language for testing. (English) Zbl 07311053
Barthe, Gilles (ed.) et al., Foundations of probabilistic programming. Cambridge: Cambridge University Press. 449-488 (2021).
MSC:  68N01
PDF BibTeX XML Cite
\textit{L. Lampropoulos} et al., in: Foundations of probabilistic programming. Cambridge: Cambridge University Press. 449--488 (2021; Zbl 07311053)
Full Text: DOI
Trilla, José Manuel Calderón; Hicks, Michael; Magill, Stephen; Mardziel, Piotr; Sweet, Ian
Probabilistic abstract interpretation: sound inference and application to privacy. (English) Zbl 07311051
Barthe, Gilles (ed.) et al., Foundations of probabilistic programming. Cambridge: Cambridge University Press. 361-390 (2021).
MSC:  68N01
PDF BibTeX XML Cite
\textit{J. M. C. Trilla} et al., in: Foundations of probabilistic programming. Cambridge: Cambridge University Press. 361--390 (2021; Zbl 07311051)
Full Text: DOI

Filter Results by …

Document Type
Reviewing State
all top 5
Author
all top 5
Serial
all top 5
Year of Publication
all top 3
Classification
all top 3
Biographic Reference
all top 3
Software