×

zbMATH — the first resource for mathematics

Found 310 Documents (Results 1–100)

100
MathJax
Kaper, Hans G. (ed.) et al., Mathematics of planet Earth. Protecting our planet, learning from the past, safeguarding for the future. Cham: Springer. Math. Planet Earth 5, 313-336 (2019).
MSC:  90B10
PDF BibTeX XML Cite
Full Text: DOI
Lokam, Satya (ed.) et al., 37th IARCS annual conference on foundations of software technology and theoretical computer science, FSTTCS 2017, IIT Kanpur, India, December 12–14, 2017. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-055-2). LIPIcs – Leibniz International Proceedings in Informatics 93, Article 38, 16 p. (2018).
MSC:  68N30 68Qxx
PDF BibTeX XML Cite
Full Text: DOI
Meyer, Roland (ed.) et al., 28th international conference on concurrency theory. CONCUR 2017, Berlin, Germany, September 5–8, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 85, Article 9, 18 p. (2017).
PDF BibTeX XML Cite
Full Text: DOI
Bassino, Frédérique (ed.) et al., LAGOS 2017. Selected papers of the 9th Latin-American algorithms, graphs, and optimization symposium, Marseille, France, September 11–15, 2017. Amsterdam: Elsevier. Electronic Notes in Discrete Mathematics 62, 279-284 (2017).
MSC:  05C21 05C38 68Q25
PDF BibTeX XML Cite
Full Text: DOI
Suomela, Jukka (ed.), Structural information and communication complexity. 23rd international colloquium, SIROCCO 2016, Helsinki, Finland, July 19–21, 2016. Revised selected papers. Cham: Springer (ISBN 978-3-319-48313-9/pbk; 978-3-319-48314-6/ebook). Lecture Notes in Computer Science 9988, 228-241 (2016).
MSC:  68M10 68M14 68R10
PDF BibTeX XML Cite
Full Text: DOI
Blanchette, Jasmin Christian (ed.) et al., Interactive theorem proving. 7th international conference, ITP 2016, Nancy, France, August 22–25, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-43143-7/pbk; 978-3-319-43144-4/ebook). Lecture Notes in Computer Science 9807, 219-234 (2016).
MSC:  68T15
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