×

zbMATH — the first resource for mathematics

Found 15,206 Documents (Results 1–100)

100
MathJax
Bertrand, Nathalie (ed.) et al., Formal modeling and analysis of timed systems. 18th international conference, FORMATS 2020, Vienna, Austria, September 1–3, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12288, 1-22 (2020).
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7104-9). 21-34 (2020).
MSC:  03D05 68Q45
PDF BibTeX XML Cite
Full Text: DOI
Essentials. Wiesbaden: Springer Spektrum (ISBN 978-3-658-31738-6/pbk; 978-3-658-31739-3/ebook). xiii, 67 p. (2020).
PDF BibTeX XML Cite
Full Text: DOI
J. Math. Sci., New York 245, No. 3, 311-322 (2020); translation from Itogi Nauki Tekh., Ser. Sovrem. Mat. Prilozh., Temat. Obz. 144, 17-29 (2018).
MSC:  03D45 08A70 54A05
PDF BibTeX XML Cite
Full Text: DOI
Springer Theses. Cham: Springer; Waterloo: University of Waterloo (Diss.) (ISBN 978-3-030-53009-9/hbk; 978-3-030-53010-5/ebook). xvii, 134 p. (2020).
PDF BibTeX XML Cite
Full Text: DOI
Leporati, Alberto (ed.) et al., Language and automata theory and applications. 14th international conference, LATA 2020, Milan, Italy, March 4–6, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-40607-3/pbk; 978-3-030-40608-0/ebook). Lecture Notes in Computer Science 12038, 303-314 (2020).
MSC:  03D05 03D45
PDF BibTeX XML Cite
Full Text: DOI
Leporati, Alberto (ed.) et al., Language and automata theory and applications. 14th international conference, LATA 2020, Milan, Italy, March 4–6, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12038, 208-221 (2020).
PDF BibTeX XML Cite
Full Text: DOI
Leporati, Alberto (ed.) et al., Language and automata theory and applications. 14th international conference, LATA 2020, Milan, Italy, March 4–6, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12038, 157-169 (2020).
PDF BibTeX XML Cite
Full Text: DOI
Leporati, Alberto (ed.) et al., Language and automata theory and applications. 14th international conference, LATA 2020, Milan, Italy, March 4–6, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-40607-3/pbk; 978-3-030-40608-0/ebook). Lecture Notes in Computer Science 12038, 33-43 (2020).
MSC:  03F30 03D05
PDF BibTeX XML Cite
Full Text: DOI
Du, Ding-Zhu (ed.) et al., Complexity and approximation. In memory of Ker-I Ko. Cham: Springer (ISBN 978-3-030-41671-3/pbk; 978-3-030-41672-0/ebook). Lecture Notes in Computer Science 12000, 80-112 (2020).
MSC:  03D78 35Q30
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