×

zbMATH — the first resource for mathematics

Found 17,087 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
Lecture Notes in Computer Science 12563. Cham: Springer (ISBN 978-3-030-66470-1/pbk; 978-3-030-66471-8/ebook). xv, 735 p. (2020).
PDF BibTeX XML Cite
Full Text: DOI
De Giacomo, Giuseppe (ed.) et al., ECAI 2020. 24th European conference on artificial intelligence, August 29 – September 8, 2020, Santiago de Compostela, Spain. Including 10th conference on prestigious applications of artificial intelligence, PAIS 2020. Amsterdam: IOS Press. Front. Artif. Intell. Appl. 325, 3-10 (2020).
MSC:  68M10 15A18 15A80
PDF BibTeX XML Cite
Full Text: DOI
Kochetov, Yury (ed.) et al., Mathematical optimization theory and operations research. 19th international conference, MOTOR 2020, Novosibirsk, Russia, July 6–10, 2020. Revised selected papers. Cham: Springer. Commun. Comput. Inf. Sci. 1275, 389-408 (2020).
PDF BibTeX XML Cite
Full Text: DOI
Bonneau, Joseph (ed.) et al., Financial cryptography and data security. 24th international conference, FC 2020 , Kota Kinabalu, Malaysia, February 10–14, 2020. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12059, 264-283 (2020).
PDF BibTeX XML Cite
Full Text: DOI
Baïou, Mourad (ed.) et al., Combinatorial optimization. 6th international symposium, ISCO 2020, Montreal, QC, Canada, May 4–6, 2020. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12176, 227-236 (2020).
MSC:  90C11
PDF BibTeX XML Cite
Full Text: DOI
Baïou, Mourad (ed.) et al., Combinatorial optimization. 6th international symposium, ISCO 2020, Montreal, QC, Canada, May 4–6, 2020. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12176, 42-53 (2020).
MSC:  90C10 90B80
PDF BibTeX XML Cite
Full Text: DOI
Makarychev, Konstantin (ed.) et al., Proceedings of the 52nd annual ACM SIGACT symposium on theory of computing, STOC ’20, Chicago, IL, USA, June 22–26, 2020. New York, NY: Association for Computing Machinery (ACM). 826-839 (2020).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI
Berichte aus der Informationstechnik. Aachen: Shaker Verlag (ISBN 978-3-8440-7581-6/pbk). 534 p. (2020).
PDF BibTeX XML Cite

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