×

zbMATH — the first resource for mathematics

Found 13,635 Documents (Results 1–100)

100
MathJax
Advances in Computer and Electrical Engineering. Hershey, PA: IGI Global (ISBN 978-1-7998-2649-1; 978-1-7998-2650-7/pbk; 978-1-7998-2651-4/ebook). x, 322 p. (2021).
PDF BibTeX XML Cite
Full Text: DOI
Sotomayor, Marilda (ed.) et al., Complex social and behavioral systems. Game theory and agent-based models. New York, NY: Springer (ISBN 978-1-0716-0367-3/print; 978-1-0716-0368-0/ebook; 978-1-0716-0369-7/print+ebook). Encyclopedia of Complexity and Systems Science Series; Springer Reference, 639-658 (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). 312-326 (2020).
MSC:  68
PDF BibTeX XML Cite
Full Text: DOI
Cybern. Syst. Anal. 56, No. 6, 1012-1020 (2020); translation from Kibern. Sist. Anal. 2020, No. 6, 175-183 (2020).
MSC:  03E72 68Q45 68T37
PDF BibTeX XML Cite
Full Text: DOI
Goubault-Larrecq, Jean (ed.) et al., Foundations of software science and computation structures. 23rd international conference, FOSSACS 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-45230-8/pbk; 978-3-030-45231-5/ebook). Lecture Notes in Computer Science 12077, 522-541 (2020).
MSC:  68Nxx 68Qxx
PDF BibTeX XML Cite
Full Text: DOI
Goubault-Larrecq, Jean (ed.) et al., Foundations of software science and computation structures. 23rd international conference, FOSSACS 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-45230-8/pbk; 978-3-030-45231-5/ebook). Lecture Notes in Computer Science 12077, 217-236 (2020).
MSC:  68Nxx 68Qxx
PDF BibTeX XML Cite
Full Text: DOI
Goubault-Larrecq, Jean (ed.) et al., Foundations of software science and computation structures. 23rd international conference, FOSSACS 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-45230-8/pbk; 978-3-030-45231-5/ebook). Lecture Notes in Computer Science 12077, 157-176 (2020).
MSC:  68Nxx 68Qxx
PDF BibTeX XML Cite
Full Text: DOI
J. Math. Sci., New York 245, No. 3, 411-415 (2020); translation from Itogi Nauki Tekh., Ser. Sovrem. Mat. Prilozh., Temat. Obz. 144, 117-121 (2018).
PDF BibTeX XML Cite
Full Text: DOI
Böckle, Gebhard (ed.) et al., \(t\)-motives: Hodge structures, transcendence and other motivic aspects. EMS Series of Congress Reports. Zürich: European Mathematical Society (EMS). 351-372 (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, 328-340 (2020).
MSC:  68Q70
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
Changat, Manoj (ed.) et al., Algorithms and discrete applied mathematics. 6th international conference, CALDAM 2020, Hyderabad, India, February 13–15, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-39218-5/pbk; 978-3-030-39219-2/ebook). Lecture Notes in Computer Science 12016, 371-383 (2020).
PDF BibTeX XML Cite
Full Text: DOI
Di Pierro, Alessandra (ed.) et al., From lambda calculus to cybersecurity through program analysis. Essays dedicated to Chris Hankin on the occasion of his retirement. Cham: Springer. Lect. Notes Comput. Sci. 12065, 149-197 (2020).
MSC:  68Q45 68Q55
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, 325-337 (2020).
MSC:  68P15 68Q32 68Q45
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, 161-173 (2020).
MSC:  68Q60 68Q45 91A80
PDF BibTeX XML Cite
Full Text: DOI
Bucciarelli, Edgardo (ed.) et al., Decision economics: complexity of decisions and decisions for complexity. Papers based on the presentations at the international conference on decision economics, DECON 2019, Ávila, Spain, June 26–28, 2019. Cham: Springer. Adv. Intell. Syst. Comput. 1009, 235-241 (2020).
MSC:  91B41 91B26 68Q45
PDF BibTeX XML Cite
Full Text: DOI
Memoirs of the American Mathematical Society 1281. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-4143-2/pbk; 978-1-4704-5804-1/ebook). v, 106 p. (2020).
PDF BibTeX XML Cite
Full Text: DOI
Zerrik, El Hassan (ed.) et al., Recent advances in modeling, analysis and systems control: theoretical aspects and applications. Selected papers of the 8th workshop on modeling, analysis and systems control, Meknes, Morocco, October 26–27, 2018. Cham: Springer. Stud. Syst. Decis. Control 243, 37-48 (2020).
MSC:  93B05 93C20 68Q80
PDF BibTeX XML Cite
Full Text: DOI
New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7018-9). 33 articles, not consecutively paged (2020).
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