×

zbMATH — the first resource for mathematics

Found 1,773 Documents (Results 1–100)

100
MathJax
Essentials. Wiesbaden: Springer Spektrum (ISBN 978-3-658-31738-6/pbk; 978-3-658-31739-3/ebook). xiii, 67 p. (2020).
PDF BibTeX XML Cite
Full Text: DOI
Springer Theses. Cham: Springer; Waterloo: University of Waterloo (Diss.) (ISBN 978-3-030-53009-9/hbk; 978-3-030-53010-5/ebook). xvii, 134 p. (2020).
PDF BibTeX XML Cite
Full Text: DOI
Manea, Florin (ed.) et al., Computing with foresight and industry. 15th conference on computability in Europe, CiE 2019, Durham, UK, July 15–19, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11558, 217-229 (2019).
PDF BibTeX XML Cite
Full Text: DOI
Martín-Vide, Carlos (ed.) et al., Language and automata theory and applications. 13th international conference, LATA 2019, St. Petersburg, Russia, March 26–29, 2019, Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11417, 177-189 (2019).
MSC:  03D15 03D20 68Q15
PDF BibTeX XML Cite
Full Text: DOI arXiv
Lecture Notes in Logic 48. Cambridge: Cambridge University Press; Ithaca, NY: Association of Symbolic Logic (ASL) (ISBN 978-1-108-41558-3/hbk; 978-1-108-23423-8/ebook). vii, 243 p. (2019).
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9–12, 2018. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-5583-4). 482-491 (2018).
MSC:  68N18 03D20
PDF BibTeX XML Cite
Full Text: DOI
Friedman, Sy-David (ed.) et al., Sets and computations. Hackensack, NJ: World Scientific. Lect. Notes Ser., Inst. Math. Sci., Natl. Univ. Singap. 33, 55-116 (2018).
PDF BibTeX XML Cite
Full Text: DOI
Student Mathematical Library 87. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-4290-3/pbk; 978-1-4704-4994-0/ebook). xiv, 207 p. (2018).
PDF BibTeX XML Cite
Full Text: DOI
Mosc. Univ. Comput. Math. Cybern. 42, No. 1, 31-38 (2018); translation from Vestn. Mosk. Univ., Ser. XV 2018, No. 1, 31-39 (2018).
MSC:  68Q05 03D10 03D20
PDF BibTeX XML Cite
Full Text: DOI
Lecture Notes Series. Institute for Mathematical Sciences. National University of Singapore 33. Hackensack, NJ: World Scientific (ISBN 978-981-3223-51-6/hbk; 978-981-3223-53-0/ebook). x, 269 p. (2018).
PDF BibTeX XML Cite
Full Text: DOI
Goranko, Valentin (ed.) et al., 26th EACSL annual conference on computer science logic, CSL 2017, Stockholm, Sweden, August 20–24, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 82, Article 23, 17 p. (2017).
MSC:  03F03 03D20 03F30
PDF BibTeX XML Cite
Full Text: DOI
Goranko, Valentin (ed.) et al., 26th EACSL annual conference on computer science logic, CSL 2017, Stockholm, Sweden, August 20–24, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 82, Article 21, 16 p. (2017).
MSC:  03B38 03D20 03F60
PDF BibTeX XML Cite
Full Text: DOI
Day, Adam (ed.) et al., Computability and complexity. Essays dedicated to Rodney G. Downey on the occasion of his 60th birthday. Cham: Springer (ISBN 978-3-319-50061-4/pbk; 978-3-319-50062-1/ebook). Lecture Notes in Computer Science 10010, 660-668 (2017).
MSC:  03D25 03D20 03D32
PDF BibTeX XML Cite
Full Text: DOI
Kahle, Reinhard (ed.) et al., Advances in proof theory. Proceedings of the symposium, on the occasion of the 60th birthday of Gerhard Jäger, Bern, Switzerland, December 13–14, 2013. Basel: Birkhäuser/Springer. Prog. Comput. Sci. Appl. Log. 28, 1-29 (2016).
MSC:  03F15 03D20 03E10
PDF BibTeX XML Cite
Full Text: DOI
Chatzigiannakis, Ioannis (ed.) et al., 43rd international colloquium on automata, languages, and programming, ICALP 2016, Rome, Italy, July 12–15, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-013-2). LIPIcs – Leibniz International Proceedings in Informatics 55, Article 108, 13 p. (2016).
MSC:  68Q30 03D20
PDF BibTeX XML Cite
Full Text: DOI
Perspectives in Logic. Cambridge: Cambridge University Press; Urbana, IL: Association for Symbolic Logic (ASL) (ISBN 978-1-107-16816-9/hbk; 978-1-316-71707-3/ebook). xii, 225 p. (2016).
PDF BibTeX XML Cite
Full Text: DOI
Mosc. Univ. Comput. Math. Cybern. 40, No. 3, 128-132 (2016); translation from Vestn. Mosk. Univ., Ser. XV 2016, No. 3, 32-35 (2016).
MSC:  20E28 20B35 03D20
PDF BibTeX XML Cite
Full Text: DOI
Crescenzi, Pierluigi (ed.) et al., Proceedings of ICTCS 2015, the 16th Italian conference on theoretical computer science, Firenze, Italy, September 9–11, 2015. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 322, 227-242, electronic only (2016).
MSC:  03D20
PDF BibTeX XML Cite
Full Text: DOI
Crescenzi, Pierluigi (ed.) et al., Proceedings of ICTCS 2015, the 16th Italian conference on theoretical computer science, Firenze, Italy, September 9–11, 2015. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 322, 197-210, electronic only (2016).
MSC:  03D20 68Q15
PDF BibTeX XML Cite
Full Text: DOI
Lecture Notes in Logic 43. Cambridge: Cambridge University Press; Ithaca, NY: Association of Symbolic Logic (ASL) (ISBN 978-1-107-03340-5/hbk; 978-1-139-51969-4/ebook). xv, 535 p. (2016).
PDF BibTeX XML Cite
Full Text: DOI
Boca Raton, FL: CRC Press/Apple Academic Press (ISBN 978-1-77188-247-7/hbk; 978-1-77188-248-4/ebook). xiv, 295 p. (2016).
PDF BibTeX XML Cite
Full Text: DOI
Kahle, Reinhard (ed.) et al., Gentzen’s centenary. The quest for consistency. Cham: Springer (ISBN 978-3-319-10102-6/pbk; 978-3-319-10103-3/ebook). 455-478 (2015).
PDF BibTeX XML Cite
Full Text: DOI
Zhao, Xishun (ed.) et al., Proceedings of the 13th Asian logic conference, ALC 2013, Guangzhou, China, September 16–20, 2013. Hackensack, NJ: World Scientific. 29-52 (2015).
PDF BibTeX XML Cite
Full Text: DOI
Daras, Nicholas J. (ed.) et al., Computation, cryptography, and network security. Cham: Springer (ISBN 978-3-319-18274-2/hbk; 978-3-319-18275-9/ebook). 577-590 (2015).
MSC:  03D20 11U05
PDF BibTeX XML Cite
Full Text: DOI arXiv

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