×

zbMATH — the first resource for mathematics

Found 217 Documents (Results 1–100)

100
MathJax
Gopal, T. V. (ed.) et al., Theory and applications of models of computation. 14th annual conference, TAMC 2017, Bern, Switzerland, April 20–22, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10185, 260-273 (2017).
PDF BibTeX XML Cite
Full Text: DOI arXiv
Day, Adam (ed.) et al., Computability and complexity. Essays dedicated to Rodney G. Downey on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 10010, 134-142 (2017).
PDF BibTeX XML Cite
Full Text: DOI
Arge, Lars (ed.) et al., 31st international symposium on computational geometry, SoCG’15, Eindhoven, Netherlands, June 22–25, 2015. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-83-5). LIPIcs – Leibniz International Proceedings in Informatics 34, 507-521 (2015).
MSC:  52A35 05E40 55N10
PDF BibTeX XML Cite
Full Text: DOI
Herbelin, Hugo (ed.) et al., 20th international conference on types for proofs and programs, TYPES’14, Paris, France, May 12–15, 2014. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-88-0). LIPIcs – Leibniz International Proceedings in Informatics 39, 288-307 (2015).
PDF BibTeX XML Cite
Full Text: DOI
CBMS Regional Conference Series in Mathematics 123. Providence, RI: American Mathematical Society (AMS) (ISBN 978-0-8218-4156-3/pbk). ix, 82 p. (2015).
MSC:  05-02 05D10 05C55
PDF BibTeX XML Cite
Lecture Notes Series. Institute for Mathematical Sciences. National University of Singapore 28. Hackensack, NJ: World Scientific (ISBN 978-981-4612-61-6/hbk; 978-981-4612-63-0/ebook). xv, 214 p. (2014).
PDF BibTeX XML Cite
Full Text: DOI
Arai, Toshiyasu (ed.) et al., Proceedings of the 11th Asian logic conference in honor of Professor Chong Chitat on his 60th birthday, National University of Singapore, Singapore, June 22–27, 2009. Hackensack, NJ: World Scientific (ISBN 978-981-4360-53-1/hbk; 978-981-4360-54-8/ebook). 114-127 (2012).
PDF BibTeX XML Cite
Full Text: DOI
Darmstadt: TU Darmstadt, Fachbereich Mathematik (Diss.). 147 p. (2012).
PDF BibTeX XML Cite
Full Text: Link
Publicações Matemáticas do IMPA. Rio de Janeiro: Instituto Nacional de Matemática Pura e Aplicada (IMPA) (ISBN 978-85-244-0319-4/pbk). ii, 81 p., open access (2011).
PDF BibTeX XML Cite
Full Text: Link
Chong, Chitat (ed.) et al., Computational prospects of infinity. Part II: Presented talks. Selected papers of the workshop, June 20–August 15, 2005. Hackensack, NJ: World Scientific (ISBN 978-981-279-654-7/hbk). Lecture Notes Series. Institute for Mathematical Sciences. National University of Singapore 15, 143-161 (2008).
MSC:  03B30 03F35
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
Biographic Reference
all top 3
Software