×

zbMATH — the first resource for mathematics

Found 33,597 Documents (Results 1–100)

100
MathJax
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, 411-429 (2021).
MSC:  68M10 68M12 68Q25
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, 250-269 (2021).
MSC:  68Q25 90C10 90C15
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, 38-56 (2021).
PDF BibTeX XML Cite
Full Text: DOI
Cybern. Syst. Anal. 57, No. 1, 155-164 (2021); translation from Kibern. Sist. Anal. 57, No. 1, 178-185 (2021).
PDF BibTeX XML Cite
Full Text: DOI
Lecture Notes in Computer Science 12831. Cham: Springer (ISBN 978-3-030-80222-6/pbk; 978-3-030-80223-3/ebook). xi, 133 p. (2021).
PDF BibTeX XML Cite
Full Text: DOI
LIPIcs – Leibniz International Proceedings in Informatics 200. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik (ISBN 978-3-95977-193-1). xvi, 41 articles, not consecutively paged, electronic only, open access (2021).
MSC:  68-06 68Q25 00B25
PDF BibTeX XML Cite
Full Text: DOI Link
Comput. Math. Math. Phys. 61, No. 5, 719-732 (2021); translation from Zh. Vychisl. Mat. Mat. Fiz. 61, No. 5, 744-758 (2021).
MSC:  68-XX 65-XX
PDF BibTeX XML Cite
Full Text: DOI
Russ. Math. Surv. 76, No. 1, 29-89 (2021); translation from Usp. Mat. Nauk 76, No. 1, 31-94 (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