×

zbMATH — the first resource for mathematics

Found 3,832 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 (ISBN 978-3-030-57627-1/pbk; 978-3-030-57628-8/ebook). Lecture Notes in Computer Science 12288, 94-110 (2020).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI
Gupta, Ankit (ed.) et al., Proceedings of SASB 2018, the 9th international workshop on static analysis and systems biology, Freiburg, Germany, August 28, 2018. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 350, 139-158 (2020).
MSC:  92C42 93B03 93A15
PDF BibTeX XML Cite
Full Text: DOI
Lahiri, Shuvendu Kumar (ed.) et al., Computer aided verification. 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020. Proceedings. Part I. Cham: Springer (ISBN 978-3-030-53287-1/pbk; 978-3-030-53288-8/ebook). Lecture Notes in Computer Science 12224, 556-568 (2020).
MSC:  68Q60
PDF BibTeX XML Cite
Full Text: DOI
Szidarovszky, Ferenc (ed.) et al., Games and dynamics in economics. Essays in honor of Akio Matsumoto. Singapore: Springer (ISBN 978-981-15-3622-9/hbk; 978-981-15-3623-6/ebook). 271-290 (2020).
MSC:  91B02 93B03 93C05
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21–24, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7018-9). Article No. 10, 11 p. (2020).
MSC:  68Q45 68Q60 93C30
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21–24, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7018-9). Article No. 3, 11 p. (2020).
MSC:  68Q45 68Q60 93C30
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21–24, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7018-9). Article No. 1, 10 p. (2020).
MSC:  68Q45 68Q60 93C30
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). 224-236 (2020).
MSC:  68
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). 102-115 (2020).
MSC:  91A15 68W25 68W40
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). 1-6 (2020).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI
Autom. Remote Control 81, No. 2, 258-268 (2020); translation from Avtom. Telemekh. 2020, No. 2, 76-90 (2020).
PDF BibTeX XML Cite
Full Text: DOI
Autom. Remote Control 81, No. 8, 1367-1384 (2020); translation from Avtom. Telemekh. 2020, No. 8, 8-28 (2020).
PDF BibTeX XML Cite
Full Text: DOI
Mauroy, Alexandre (ed.) et al., The Koopman operator in systems and control. Concepts, methodologies and applications. Cham: Springer. Lect. Notes Control Inf. Sci. 484, 81-98 (2020).
PDF BibTeX XML Cite
Full Text: DOI
Tarasyev, Alexander (ed.) et al., Stability, control and differential games. Proceedings of the international conference on stability, control and differential games (SCDG2019), Yekaterinburg, Russia, September 16–20, 2019. Cham: Springer. Lect. Notes Control Inf. Sci. – Proc., 379-389 (2020).
MSC:  93C41 93C10 93B03
PDF BibTeX XML Cite
Full Text: DOI
Mosc. Univ. Mech. Bull. 75, No. 2, 44-46 (2020); translation from Vestn. Mosk. Univ., Ser. I 75, No. 2, 59-61 (2020).
MSC:  93C05 93B03 93B05
PDF BibTeX XML Cite
Full Text: DOI
Beyer, Dirk (ed.) et al., Verification, model checking, and abstract interpretation. 21st international conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-39321-2/pbk; 978-3-030-39322-9/ebook). Lecture Notes in Computer Science 11990, 293-313 (2020).
MSC:  68Q60
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
Chatzigeorgiou, Alexander (ed.) et al., SOFSEM 2020: theory and practice of computer science. 46th international conference on current trends in theory and practice of informatics, SOFSEM 2020, Limassol, Cyprus, January 20–24, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12011, 64-75 (2020).
PDF BibTeX XML Cite
Full Text: DOI
Lirkov, Ivan (ed.) et al., Large-scale scientific computing. 12th international conference, LSSC 2019, Sozopol, Bulgaria, June 10–14, 2019. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11958, 48-55 (2020).
MSC:  93B05 93C20 93B03
PDF BibTeX XML Cite
Full Text: DOI
Bohner, Martin (ed.) et al., Difference equations and discrete dynamical systems with applications. ICDEA 24, Dresden, Germany, May 21–25, 2018. Proceedings of the 24th international conference on difference equations and applications. Cham: Springer. Springer Proc. Math. Stat. 312, 133-147 (2020).
PDF BibTeX XML Cite
Full Text: DOI
J. Math. Sci., New York 244, No. 2, 148-157 (2020); translation from Tr. Semin. Im. I. G. Petrovskogo 32, 57-71 (2019).
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
Biographic Reference
all top 3
Software