×

zbMATH — the first resource for mathematics

Found 926 Documents (Results 1–100)

100
MathJax
Algorithms and Computation in Mathematics 28. Cham: Springer (ISBN 978-3-030-26453-6/hbk; 978-3-030-26454-3/ebook). xi, 371 p. (2020).
PDF BibTeX XML Cite
Full Text: DOI
Oxford: Oxford University Press (ISBN 978-0-19-875891-4/hbk). xii, 368 p. (2018).
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 2017 32nd annual ACM/IEEE symposium on logic in computer science, LICS 2017, Reykjavík University, Reykjavík, Iceland, June 20–23, 2017. Piscataway, NJ: IEEE Press (ISBN 978-1-5090-3018-7). Article No. 91, 12 p. (2017).
MSC:  68Q85 18B20 18C10
PDF BibTeX XML Cite
Full Text: Link
Compact Textbooks in Mathematics. Basel: Birkhäuser/Springer (ISBN 978-3-319-57218-5/pbk; 978-3-319-57219-2/ebook). xii, 106 p. (2017).
PDF BibTeX XML Cite
Full Text: DOI
Artho, Cyrille (ed.) et al., Formal techniques for safety-critical systems. Fourth international workshop, FTSCS 2015, Paris, France, November 6–7, 2015. Revised selected papers. Cham: Springer (ISBN 978-3-319-29509-1/pbk; 978-3-319-29510-7/ebook). Communications in Computer and Information Science 596, 3-34 (2016).
MSC:  68Q65 18C10 68Q42 68T15
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5–8, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4391-6). 682-691 (2016).
PDF BibTeX XML Cite
Full Text: DOI
Birkedal, Lars (ed.), Proceedings of the 32nd conference on the mathematical foundations of programming semantics (MFPS XXXII), Carnegie Mellon University, Pittsburgh, PA, USA, May 23–26, 2016. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 325, 3-27 (2016).
PDF BibTeX XML Cite
Full Text: DOI
Kesner, Delia (ed.) et al., 1st international conference on formal structures for computation and deduction, FSCD 2016, Porto, Portugal, June 22–26, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-010-1). LIPIcs – Leibniz International Proceedings in Informatics 52, Article 27, 17 p. (2016).
MSC:  68Q42 08A70 18C10
PDF BibTeX XML Cite
Full Text: DOI
Kesner, Delia (ed.) et al., 1st international conference on formal structures for computation and deduction, FSCD 2016, Porto, Portugal, June 22–26, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-010-1). LIPIcs – Leibniz International Proceedings in Informatics 52, Article 21, 18 p. (2016).
MSC:  68Q65 18C10 68N18
PDF BibTeX XML Cite
Full Text: DOI
Aerts, Diederik (ed.) et al., Probing the meaning of quantum mechanics. Superpositions, dynamics, semantics and identity. Based on the first international meeting on quantum mechanics and quantum information: physical, philosophical and logical approaches, Cagliari, Italy, July 23– 25, 2014. Hackensack, NJ: World Scientific (ISBN 978-981-3146-27-3/hbk; 978-981-3146-29-7/ebook). 179-191 (2016).
PDF BibTeX XML Cite
Full Text: DOI
Lucanu, Dorel (ed.), Rewriting logic and its applications. 11th international workshop, WRLA 2016, held as a satellite event of ETAPS, Eindhoven, The Netherlands, April 2–3, 2016. Revised selected papers. Cham: Springer (ISBN 978-3-319-44801-5/pbk; 978-3-319-44802-2/ebook). Lecture Notes in Computer Science 9942, 167-184 (2016).
MSC:  68T15 18C10 68Q42
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 2015 30th annual ACM/IEEE symposium on logic in computer science, LICS 2015, Kyoto, Japan, July 6–10, 2015. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4799-8875-4). 402-413 (2015).
PDF BibTeX XML Cite
Full Text: DOI
Ghica, Dan (ed.), Proceedings of the 31st conference on the mathematical foundations of programming semantics (MFPS XXXI), Nijmegen, The Netherlands, June 22–25, 2015. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 319, 315-331, electronic only (2015).
PDF BibTeX XML Cite
Full Text: DOI
Italiano, F. (ed.) et al., Mathematical foundations of computer science 2015. 40th international symposium, MFCS 2015, Milan, Italy, August 24–28, 2015. Proceedings. Part I. Berlin: Springer. Lect. Notes Comput. Sci. 9234, 18-37 (2015).
MSC:  68Q55 18B20 18C10 18D10 68Q70
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
Biographic Reference
all top 3
Software