×

zbMATH — the first resource for mathematics

Found 17,869 Documents (Results 1–100)

100
MathJax
Ceberio, Martine (ed.) et al., How uncertainty related ideas can provide theoretical explanation for empirical dependencies. Cham: Springer. Stud. Syst. Decis. Control 306, 75-81 (2021).
MSC:  62A01 62M45 62P35
PDF BibTeX XML Cite
Full Text: DOI
LIPIcs – Leibniz International Proceedings in Informatics 203. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik (ISBN 978-3-95977-203-7). xiv, 36 articles, not consecutively paged, electronic only, open access (2021).
MSC:  68-06 68Q85 00B25
PDF BibTeX XML Cite
Full Text: DOI Link
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, 3-19 (2021).
MSC:  68Q85 03B70 91A80
PDF BibTeX XML Cite
Full Text: DOI
Lecture Notes in Computer Science 12734. Cham: Springer (ISBN 978-3-030-76982-6/pbk; 978-3-030-76983-3/ebook). xi, 486 p. (2021).
MSC:  68-06 68Q85 00B25
PDF BibTeX XML Cite
Full Text: DOI
Lecture Notes in Computer Science 12530. Journal Subline. Berlin: Springer (ISBN 978-3-662-63078-5/pbk; 978-3-662-63079-2/ebook). xvii, 185 p. (2021).
MSC:  68-06 68Q85 00B15
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