×

zbMATH — the first resource for mathematics

Found 590 Documents (Results 1–100)

100
MathJax
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, 277-298 (2020).
MSC:  68Nxx 68Qxx
PDF BibTeX XML Cite
Full Text: DOI
Gozlan, Nathael (ed.) et al., High dimensional probability VIII. The Oaxaca volume. Selected papers based on the presentations at the 8th conference on high-dimensional probability, HDP VIII, Casa Matemática Oaxaca (CMO), Mexico, May 28 – June 2, 2017. Cham: Birkhäuser. Prog. Probab. 74, 21-31 (2019).
MSC:  26D07 51M16
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, 97-114 (2019).
MSC:  90C25 90C52
PDF BibTeX XML Cite
Full Text: DOI
Hutton, Graham (ed.), Mathematics of program construction. 13th international conference, MPC 2019, Porto, Portugal, October 7–9, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11825, 155-196 (2019).
MSC:  03B38 03B40 03F25
PDF BibTeX XML Cite
Full Text: DOI
Ozawa, Masanao (ed.) et al., Reality and measurement in algebraic quantum theory. NWW 2015, Nagoya, Japan, March 9–13, 2015. Selected papers based on presentations at the Nagoya winter workshop 2015: reality and measurement in algebraic quantum theory. Singapore: Springer. Springer Proc. Math. Stat. 261, 229-273 (2018).
PDF BibTeX XML Cite
Full Text: DOI
Mathematical Surveys and Monographs 221, 2. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-3570-7/hbk; 978-1-4704-3568-4/set; 978-1-4704-4087-9/ebook). xxxv, 436 p. (2017).
MSC:  14-02 14A20 14F05 14F10 18D05 18G55
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