×

zbMATH — the first resource for mathematics

Found 16,537 Documents (Results 1–100)

100
MathJax
London: Elsevier/Academic Press (ISBN 978-0-12-804288-5/hbk; 978-0-12-804362-2/ebook). xvi, 250 p. (2021).
PDF BibTeX XML Cite
Full Text: DOI
Henglein, Fritz (ed.) et al., Verification, model checking, and abstract interpretation. 22nd international conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12597, 486-508 (2021).
PDF BibTeX XML Cite
Full Text: DOI
Scientific Computation. Cham: Springer (ISBN 978-3-030-82039-8/hbk; 978-3-030-82040-4/ebook). xxii, 720 p. (2021).
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