×

zbMATH — the first resource for mathematics

Found 778 Documents (Results 1–100)

100
MathJax
Textbooks in Mathematics. Boca Raton, FL: CRC Press (ISBN 978-0-367-22570-4/hbk; 978-1-4987-7532-8/pbk; 978-0-429-18418-5/ebook). xvii, 294 p. (2020).
PDF BibTeX XML Cite
Full Text: DOI
Computational Biology 29. Cham: Springer (ISBN 978-3-030-10836-6/hbk; 978-3-030-10837-3/ebook). xxv, 410 p. (2019).
PDF BibTeX XML Cite
Full Text: DOI Link
Schewe, Sven (ed.) et al., 29th international conference on concurrency theory. CONCUR 2018, Beijing, China, September 4–7, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 118, Article 39, 17 p. (2018).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI
Schewe, Sven (ed.) et al., 29th international conference on concurrency theory. CONCUR 2018, Beijing, China, September 4–7, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 118, Article 35, 18 p. (2018).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI
Schewe, Sven (ed.) et al., 29th international conference on concurrency theory. CONCUR 2018, Beijing, China, September 4–7, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 118, Article 29, 16 p. (2018).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI
Schewe, Sven (ed.) et al., 29th international conference on concurrency theory. CONCUR 2018, Beijing, China, September 4–7, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 118, Article 25, 18 p. (2018).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI
Mathematik im Kontext. Berlin: Springer Spektrum (ISBN 978-3-662-54794-6/pbk; 978-3-662-54795-3/ebook). xi, 272 p. (2018).
MSC:  01-02 01A55 51-03
PDF BibTeX XML Cite
Full Text: DOI
Legay, Axel (ed.) et al., Tools and algorithms for the construction and analysis of systems. 23rd international conference, TACAS 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Part I. Berlin: Springer. Lect. Notes Comput. Sci. 10205, 499-517 (2017).
MSC:  68Q85 68Q60 68Q87
PDF BibTeX XML Cite
Full Text: DOI
Chatzigiannakis, Ioannis (ed.) et al., 44th international colloquium on automata, languages, and programming, ICALP 2017, Warsaw, Poland July 10–14, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 80, Article 117, 13 p. (2017).
MSC:  68Q45 68Q85
PDF BibTeX XML Cite
Full Text: DOI
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). 231-252 (2017).
MSC:  14E15 14J25 14-04
PDF BibTeX XML Cite
Full Text: DOI
Wiesbaden: Springer Spektrum (ISBN 978-3-658-18864-1/pbk; 978-3-658-18865-8/ebook). xix, 216 p. (2017).
PDF BibTeX XML Cite
Full Text: DOI
Patitz, Matthew J. (ed.) et al., Unconventional computation and natural computation. 16th international conference, UCNC 2017, Fayetteville, AR, USA, June 5–9, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10240, 182-193 (2017).
MSC:  68Q05 68Q10
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-16809-1/hbk; 978-1-316-71703-5/ebook). xiii, 447 p. (2016).
MSC:  03-02 03C45
PDF BibTeX XML Cite
Full Text: DOI
Martín-Fernández, Josep Antoni (ed.) et al., Compositional data analysis. CoDaWork, L’Escala, Spain, June 2015. Selected contributions based on the presentations at the workshop. Cham: Springer (ISBN 978-3-319-44810-7/hbk; 978-3-319-44811-4/ebook). Springer Proceedings in Mathematics & Statistics 187, 127-143 (2016).
MSC:  62-07 62J05 51M20 53Z05 53D05
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