×

zbMATH — the first resource for mathematics

Found 544 Documents (Results 1–100)

100
MathJax
Hackensack, NJ: World Scientific (ISBN 978-981-12-3608-2/hbk; 978-981-12-3610-5/ebook). xi, 377 p. (2021).
PDF BibTeX XML Cite
Full Text: DOI
Hackensack, NJ: World Scientific (ISBN 978-981-3231-06-1/hbk). x, 294 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. Article No. 69, 12 p. (2017).
PDF BibTeX XML Cite
Full Text: Link
Larsen, Kim G. (ed.) et al., 42nd international symposium on mathematical foundations of computer science, MFCS 2017, August 21–25, 2017, Aalborg, Denmark. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 83, Article 35, 19 p. (2017).
PDF BibTeX XML Cite
Full Text: DOI
Bonchi, Filippo (ed.) et al., 7th conference on algebra and coalgebra in computer science, CALCO 2017, June 14–16, 2017, Ljubljana, Slovenia. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 72, Article 25, 8 p. (2017).
MSC:  68Q87 18C20 68-04
PDF BibTeX XML Cite
Full Text: DOI
Bonchi, Filippo (ed.) et al., 7th conference on algebra and coalgebra in computer science, CALCO 2017, June 14–16, 2017, Ljubljana, Slovenia. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-033-0). LIPIcs – Leibniz International Proceedings in Informatics 72, Article 22, 16 p. (2017).
PDF BibTeX XML Cite
Full Text: DOI
Krause, Henning (ed.) et al., Representation theory – Current trends and perspectives. In part based on talks given at the last joint meeting of the priority program in Bad Honnef, Germany, in March 2015. Zürich: European Mathematical Society (EMS) (ISBN 978-3-03719-171-2/hbk; 978-3-03719-671-7/ebook). EMS Series of Congress Reports, 375-426 (2017).
PDF BibTeX XML Cite
Cambridge Tracts in Theoretical Computer Science 59. Cambridge: Cambridge University Press (ISBN 978-1-107-17789-5/hbk; 978-1-316-82318-7/ebook). xvi, 477 p. (2017).
PDF BibTeX XML Cite
Full Text: DOI
Carvalho, Joao Paulo (ed.) et al., Information processing and management of uncertainty in knowledge-based systems. 16th international conference, IPMU 2016, Eindhoven, The Netherlands, June 20–24, 2016. Proceedings. Part II. Cham: Springer. Commun. Comput. Inf. Sci. 611, 61-68 (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, 185-200 (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, 169-183 (2016).
MSC:  18C20 81P68
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, 147-168 (2016).
MSC:  18C15 18C20
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