×

zbMATH — the first resource for mathematics

Found 268 Documents (Results 1–100)

100
MathJax
Proceedings of the 28th international conference on formal power series and algebraic combinatorics, FPSAC 2016, Vancouver, Canada, July 4–8, 2016. Nancy: The Association. Discrete Mathematics & Theoretical Computer Science (DMTCS). Discrete Math. Theor. Comput. Sci., Proc., 1195-1202 (2020).
MSC:  14N15 13D03
PDF BibTeX XML Cite
Full Text: Link
Memoirs of the American Mathematical Society 1199. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-2797-9/print; 978-1-4704-4282-8/ebook). viii, 196 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. 53, 12 p. (2017).
PDF BibTeX XML Cite
Full Text: Link
Böckle, Gebhard (ed.) et al., Algorithmic and experimental methods in algebra, geometry, and number theory. Cham: Springer (ISBN 978-3-319-70565-1/hbk; 978-3-319-70566-8/ebook). 23-49 (2017).
PDF BibTeX XML Cite
Full Text: DOI arXiv
EMS Textbooks in Mathematics. Zürich: European Mathematical Society (EMS) (ISBN 978-3-03719-174-3/hbk; 978-3-03719-674-8/ebook). x, 619 p. (2017).
PDF BibTeX XML Cite
Full Text: DOI
Arone, Gregory (ed.) et al., Manifolds and \(K\)-theory. Conference on manifolds, \(K\)-theory, and related topics, Dubrovnik, Croatia, June 23–27, 2014. Proceedings. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-1700-0/pbk; 978-1-4704-3665-0/ebook). Contemporary Mathematics 682, 167-188 (2017).
MSC:  57R40
PDF BibTeX XML Cite
Full Text: DOI
Arone, Gregory (ed.) et al., Manifolds and \(K\)-theory. Conference on manifolds, \(K\)-theory, and related topics, Dubrovnik, Croatia, June 23–27, 2014. Proceedings. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-1700-0/pbk; 978-1-4704-3665-0/ebook). Contemporary Mathematics 682, 1-37 (2017).
MSC:  55P65 19D10 55P48
PDF BibTeX XML Cite
Full Text: DOI arXiv
Bodik, Rastislav (ed.) et al., Proceedings of the 43rd annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’16, St. Petersburg, FL, USA, January 20–22, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3549-2). 30-43 (2016).
MSC:  68N18 03B40 68N30
PDF BibTeX XML Cite
Full Text: DOI
Moss, Lawrence S. (ed.) et al., 6th conference on algebra and coalgebra in computer science, CALCO’15, Nijmegen, Netherlands, June 24–26, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-84-2). LIPIcs – Leibniz International Proceedings in Informatics 35, 238-252 (2015).
PDF BibTeX XML Cite
Full Text: DOI
Basterra, Maria (ed.) et al., Women in topology: collaborations in homotopy theory. WIT: Women in topology workshop, Banff International Research Station, Banff, Alberta, Canada, August 18–23, 2013. Providence, RI: American Mathematical Society (AMS). Contemp. Math. 641, 83-96 (2015).
MSC:  55N91 55P65 55R45
PDF BibTeX XML Cite
Full Text: DOI
Ausoni, Christian (ed.) et al., An Alpine expedition through algebraic topology. Proceedings of the fourth Arolla conference on algebraic topology, Arolla, Switzerland, August 20-25, 2012. Providence, RI: American Mathematical Society (AMS) (ISBN 978-0-8218-9145-2/pbk; 978-1-4704-1685-0/ebook). Contemporary Mathematics 617, 157-164 (2014).
MSC:  55P65
PDF BibTeX XML Cite
Full Text: arXiv
Ausoni, Christian (ed.) et al., An Alpine expedition through algebraic topology. Proceedings of the fourth Arolla conference on algebraic topology, Arolla, Switzerland, August 20-25, 2012. Providence, RI: American Mathematical Society (AMS) (ISBN 978-0-8218-9145-2/pbk; 978-1-4704-1685-0/ebook). Contemporary Mathematics 617, 81-108 (2014).
PDF BibTeX XML Cite
Full Text: arXiv
Proceedings of the 41st ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’14, San Diego, CA, USA, January 22–24, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2544-8). 633-645 (2014).
PDF BibTeX XML Cite
Full Text: DOI
Kozen, Dexter (ed.) et al., Proceedings of the 29th conference on the mathematical foundations of programming semantics (MFPS XXIX), New Orleans, LA, USA, June 2013. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 298, 309-324 (2013).
PDF BibTeX XML Cite
Full Text: DOI
Pfenning, Frank (ed.), Foundations of software science and computation structures. 16th international conference, FOSSACS 2013, held as part of the European joint conferences on theory and practice of software, ETAPS 2013, Rome, Italy, March 16–24, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-37074-8/pbk). Lecture Notes in Computer Science 7794, 401-417 (2013).
PDF BibTeX XML Cite
Full Text: DOI
J. Math. Sci., New York 183, No. 3, 383-396 (2012); translation from Fundam. Prikl. Mat. 16, No. 7, 161-180 (2010).
PDF BibTeX XML Cite
Full Text: DOI
J. Math. Sci., New York 183, No. 3, 323-382 (2012); translation from Fundam. Prikl. Mat. 16, No. 7, 75-159 (2010).
PDF BibTeX XML Cite
Full Text: DOI
Gibbons, Jeremy (ed.) et al., Mathematics of program construction. 11th international conference, MPC 2012, Madrid, Spain, June 25–27, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31112-3/pbk). Lecture Notes in Computer Science 7342, 300-323 (2012).
MSC:  68N18 18A99 18D05
PDF BibTeX XML Cite
Full Text: DOI
Mathématiques en Devenir. Paris: Calvage et Mounet (ISBN 978-2-91-635225-1/pbk). xii, 387 p. (2012).
PDF BibTeX XML Cite
Capretta, Venanzio (ed.) et al., Proceedings of the second workshop on mathematically structured functional programming (MSFP 2008), Reykjavik, Iceland, July 6, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 229, No. 5, 135-157 (2011).
PDF BibTeX XML Cite
Full Text: DOI
Corradini, Andrea (ed.) et al., Algebra and coalgebra in computer science. 4th international conference, CALCO 2011, Winchester, UK, August 30 – September 2, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22943-5/pbk). Lecture Notes in Computer Science 6859, 298-313 (2011).
PDF BibTeX XML Cite
Full Text: DOI
Cortiñas, Guillermo (ed.), Topics in algebraic and topological \(K\)-theory. Papers based on the Sedano winter school on \(K\)-theory (Swisk), Sedano, Spain, January 22–27, 2007. Berlin: Springer (ISBN 978-3-642-15707-3/pbk; 978-3-642-15708-0/ebook). Lecture Notes in Mathematics 2008, 243-302 (2011).
MSC:  18E35 18E30 18-02
PDF BibTeX XML Cite
Full Text: DOI
Contemporary Mathematics 511. Providence, RI: American Mathematical Society (AMS) (ISBN 978-0-8218-4805-0/pbk). vii, 200 p. (2010).
MSC:  20-06 00B25 20B35 20B40 17B55 18G10 20F12
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