×

zbMATH — the first resource for mathematics

Found 46,864 Documents (Results 1–100)

100
MathJax
Lecture Notes in Computer Science 12843. Cham: Springer (ISBN 978-3-030-82471-6/pbk; 978-3-030-82472-3/ebook). xxi, 288 p. (2021).
PDF BibTeX XML Cite
Full Text: DOI
Lecture Notes in Computer Science 12811. Cham: Springer (ISBN 978-3-030-81507-3/pbk; 978-3-030-81508-0/ebook). xvii, 116 p. (2021).
MSC:  68-06 68Q45 00B25
PDF BibTeX XML Cite
Full Text: DOI
Groote, Jan Friso (ed.) et al., Tools and algorithms for the construction and analysis of systems. 27th international conference, TACAS 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. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12651, 449-467 (2021).
PDF BibTeX XML Cite
Full Text: DOI
Groote, Jan Friso (ed.) et al., Tools and algorithms for the construction and analysis of systems. 27th international conference, TACAS 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. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12651, 351-369 (2021).
PDF BibTeX XML Cite
Full Text: DOI
Groote, Jan Friso (ed.) et al., Tools and algorithms for the construction and analysis of systems. 27th international conference, TACAS 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. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12651, 311-329 (2021).
MSC:  68Q45 68R10 68W05
PDF BibTeX XML Cite
Full Text: DOI
Groote, Jan Friso (ed.) et al., Tools and algorithms for the construction and analysis of systems. 27th international conference, TACAS 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. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12651, 291-310 (2021).
MSC:  68Q45 68Q60
PDF BibTeX XML Cite
Full Text: DOI
Groote, Jan Friso (ed.) et al., Tools and algorithms for the construction and analysis of systems. 27th international conference, TACAS 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. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12651, 230-249 (2021).
PDF BibTeX XML Cite
Full Text: DOI
Groote, Jan Friso (ed.) et al., Tools and algorithms for the construction and analysis of systems. 27th international conference, TACAS 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. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12651, 20-37 (2021).
PDF BibTeX XML Cite
Full Text: DOI
New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-8339-4). 27 articles, not consecutively paged (2021).
PDF BibTeX XML Cite
Full Text: DOI
Lecture Notes in Computer Science 12638. Cham: Springer (ISBN 978-3-030-68194-4/pbk; 978-3-030-68195-1/ebook). xi, 342 p. (2021).
MSC:  68-06 68Q45 00B25
PDF BibTeX XML Cite
Full Text: DOI
Lecture Notes in Computer Science 12803. Cham: Springer (ISBN 978-3-030-79120-9/pbk; 978-3-030-79121-6/ebook). xiii, 114 p. (2021).
MSC:  68-06 68Q45 00B25
PDF BibTeX XML Cite
Full Text: DOI
Berkeley, CA: Apress (ISBN 978-1-4842-5363-2/pbk; 978-1-4842-5364-9/ebook). xvii, 306 p. (2021).
MSC:  68-01 68N15 68T07
PDF BibTeX XML Cite
Full Text: DOI
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).
PDF BibTeX XML Cite
Full Text: DOI
Barthe, Gilles (ed.) et al., Foundations of probabilistic programming. Cambridge: Cambridge University Press. 489-532 (2021).
MSC:  68N01
PDF BibTeX XML Cite
Full Text: DOI
Barthe, Gilles (ed.) et al., Foundations of probabilistic programming. Cambridge: Cambridge University Press. 449-488 (2021).
MSC:  68N01
PDF BibTeX XML Cite
Full Text: DOI
Barthe, Gilles (ed.) et al., Foundations of probabilistic programming. Cambridge: Cambridge University Press. 361-390 (2021).
MSC:  68N01
PDF BibTeX XML Cite
Full Text: DOI
Dey, Nilanjan (ed.) et al., Applications of bat algorithm and its variants. Singapore: Springer. Springer Tracts Nat.-Inspir. Comput., 133-153 (2021).
PDF BibTeX XML Cite
Full Text: DOI
Berlin: Springer Spektrum (ISBN 978-3-662-62617-7/hbk; 978-3-662-62618-4/ebook). xv, 989 p. (2021).
MSC:  00A06 68-01 68N15
PDF BibTeX XML Cite
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
Software