×

zbMATH — the first resource for mathematics

Found 568 Documents (Results 1–100)

100
MathJax
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, 449-460 (2019).
MSC:  49N35
PDF BibTeX XML Cite
Full Text: DOI
Barthe, Gilles (ed.) et al., LPAR-22. 22nd international conference on logic for programming, artificial intelligence and reasoning, Awassa, Ethiopia, November 17–21, 2018. Selected papers. Manchester: EasyChair. EPiC Ser. Comput. 57, 543-563 (2018).
MSC:  68N18
PDF BibTeX XML Cite
Full Text: DOI
Dokl. Math. 97, No. 2, 131-136 (2018); translation from Dokl. Akad. Nauk, Ross. Akad. Nauk 479, No. 3, 241-246 (2018).
PDF BibTeX XML Cite
Full Text: DOI
Goranko, Valentin (ed.) et al., 26th EACSL annual conference on computer science logic, CSL 2017, Stockholm, Sweden, August 20–24, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 82, Article 32, 15 p. (2017).
PDF BibTeX XML Cite
Full Text: DOI
Math. Notes 102, No. 3, 297-309 (2017); translation from Mat. Zametki 102, No. 3, 323-338 (2017).
PDF BibTeX XML Cite
Full Text: DOI
Castagna, Giuseppe (ed.) et al., Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL ’17, Paris, France, January 15–21, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4660-3). 706-718 (2017).
MSC:  68N18
PDF BibTeX XML Cite
Full Text: DOI
Neininger, Ralph (ed.) et al., Proceedings of the 27th international conference on probabilistic, combinatorial and asymptotic methods for the analysis of algorithms – AofA’16, Kraków, Poland, July 4–8, 2016. Kraków: Jagiellonian University, Department of Theoretical Computer Science. 10 p. (2016).
MSC:  68P05 60C05 68W40
PDF BibTeX XML Cite
Full Text: arXiv
J. Comput. Syst. Sci. Int. 54, No. 5, 715-737 (2015); translation from Izv. Ross. Akad. Nauk, Teor. Sist. Upravl. 2015, No. 5, 48-72 (2015).
MSC:  49K21 93C30 49L20
PDF BibTeX XML Cite
Full Text: DOI
Palczewski, Andrzej (ed.) et al., Advances in mathematics of finance. Selected papers of the 6th general AMaMeF and Banach Center Conference, Warsaw, Poland, June 10–15, 2013. Warszawa: Polish Academy of Sciences, Institute of Mathematics (ISBN 978-83-86806-27-0). Banach Center Publications 104, 9-24 (2015).
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 17th ACM international conference on hybrid systems: computation and control, HSCC 2014, Berlin, Germany, April 15–17, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2732-9). 1-10 (2014).
MSC:  93B40 90C05 93D20 93C30
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’13, Rome, Italy, January 23–25, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1832-7). 39-50 (2013).
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