×

zbMATH — the first resource for mathematics

Found 1,464 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, 38-56 (2021).
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, 179-186 (2020).
PDF BibTeX XML Cite
Full Text: DOI
Pulina, Luca (ed.) et al., Theory and applications of satisfiability testing – SAT 2020. 23rd international conference, Alghero, Italy, July 3–10, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12178, 447-463 (2020).
MSC:  68Q25 68R07 68T20
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, 57-69 (2020).
PDF BibTeX XML Cite
Full Text: DOI
HBA Lecture Notes in Mathematics 2. CMI Lecture Notes in Mathematics. Singapore: Springer; New Delhi: Hindustan Book (ISBN 978-981-15-6578-6; 978-93-86279-81-1; 978-981-15-6577-9/ebook). ix, 125 p. (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). 397-409 (2020).
MSC:  68-XX
PDF BibTeX XML Cite
Full Text: DOI
Akiyama, Shigeki (ed.) et al., Substitution and tiling dynamics: introduction to self-inducing structures. Lecture notes from the research school on tiling dynamical systems, CIRM Jean-Morlet Chair, Marseille, France, Fall 2017. Cham: Springer. Lect. Notes Math. 2273, 227-291 (2020).
MSC:  91A46 91A68 68R15
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, 627-635 (2020).
MSC:  91A43 05C57 91A68
PDF BibTeX XML Cite
Full Text: DOI
Caragiannis, Ioannis (ed.) et al., Web and Internet economics. 15th international conference, WINE 2019, New York, NY, USA, December 10–12, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11920, 85-99 (2019).
MSC:  91A22 91A68
PDF BibTeX XML Cite
Full Text: DOI
Khachay, Michael (ed.) et al., Mathematical optimization theory and operations research. 18th international conference, MOTOR 2019, Ekaterinburg, Russia, July 8–12, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11548, 133-146 (2019).
PDF BibTeX XML Cite
Full Text: DOI
Autom. Remote Control 80, No. 10, 1901-1911 (2019); translation from Mat. Teor. Igr Prilozh. 10, No. 1, 65-82 (2018).
MSC:  91A43 91A07 91A68
PDF BibTeX XML Cite
Full Text: DOI
Fotakis, Dimitris (ed.) et al., Algorithmic game theory. 12th International symposium, SAGT 2019, Athens, Greece, September 30 – October 3, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11801, 284-297 (2019).
PDF BibTeX XML Cite
Full Text: DOI Link
Fotakis, Dimitris (ed.) et al., Algorithmic game theory. 12th International symposium, SAGT 2019, Athens, Greece, September 30 – October 3, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11801, 252-265 (2019).
MSC:  91A12 91A43 91A68
PDF BibTeX XML Cite
Full Text: DOI Link
Fotakis, Dimitris (ed.) et al., Algorithmic game theory. 12th International symposium, SAGT 2019, Athens, Greece, September 30 – October 3, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11801, 216-236 (2019).
MSC:  91A43 91A68
PDF BibTeX XML Cite
Full Text: DOI Link
Fotakis, Dimitris (ed.) et al., Algorithmic game theory. 12th International symposium, SAGT 2019, Athens, Greece, September 30 – October 3, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11801, 200-215 (2019).
PDF BibTeX XML Cite
Full Text: DOI Link
Fotakis, Dimitris (ed.) et al., Algorithmic game theory. 12th International symposium, SAGT 2019, Athens, Greece, September 30 – October 3, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11801, 168-182 (2019).
MSC:  91A65 91A68 91A07
PDF BibTeX XML Cite
Full Text: DOI Link
Fotakis, Dimitris (ed.) et al., Algorithmic game theory. 12th International symposium, SAGT 2019, Athens, Greece, September 30 – October 3, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11801, 153-167 (2019).
MSC:  91A68 91A06 91A35
PDF BibTeX XML Cite
Full Text: DOI Link
Fotakis, Dimitris (ed.) et al., Algorithmic game theory. 12th International symposium, SAGT 2019, Athens, Greece, September 30 – October 3, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11801, 139-152 (2019).
MSC:  91A10 91A27 91A68
PDF BibTeX XML Cite
Full Text: DOI Link

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