×

zbMATH — the first resource for mathematics

Found 2,134 Documents (Results 1–100)

100
MathJax
Barthe, Gilles (ed.) et al., Foundations of probabilistic programming. Cambridge: Cambridge University Press. 489-532 (2021).
MSC:  68N01
PDF BibTeX XML Cite
Full Text: DOI
Barthe, Gilles (ed.) et al., Foundations of probabilistic programming. Cambridge: Cambridge University Press. 449-488 (2021).
MSC:  68N01
PDF BibTeX XML Cite
Full Text: DOI
Barthe, Gilles (ed.) et al., Foundations of probabilistic programming. Cambridge: Cambridge University Press. 361-390 (2021).
MSC:  68N01
PDF BibTeX XML Cite
Full Text: DOI
Undergraduate Topics in Computer Science. Cham: Springer (ISBN 978-3-030-61114-9/pbk; 978-3-030-61115-6/ebook). xvi, 336 p. (2021).
PDF BibTeX XML Cite
Full Text: DOI
Berlin: De Gruyter (ISBN 978-3-11-061135-9/hbk; 978-3-11-061265-3/ebook). viii, 204 p. (2020).
PDF BibTeX XML Cite
Full Text: DOI
Jerusalem Studies in Philosophy and History of Science. Cham: Springer (ISBN 978-3-030-34315-6/hbk; 978-3-030-34316-3/ebook). xxii, 627 p. (2020).
PDF BibTeX XML Cite
Full Text: DOI
Hierons, Robert Mark (ed.) et al., Theoretical aspects of computing – ICTAC 2019. 16th international colloquium, Hammamet, Tunisia, October 31 – November 4, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11884, 41-58 (2019).
PDF BibTeX XML Cite
Full Text: DOI
Boca Raton, FL: CRC Press (ISBN 978-0-8153-7848-8/hbk; 978-1-351-01913-2/ebook). xvi, 518 p. (2019).
MSC:  68-01 68R01
PDF BibTeX XML Cite
Full Text: Link
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). 710-719 (2018).
MSC:  03B45 03B48
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). 679-688 (2018).
PDF BibTeX XML Cite
Full Text: DOI
Berlin: Springer Spektrum (ISBN 978-3-662-55573-6/pbk; 978-3-662-55574-3/ebook). xii, 159 p. (2018).
PDF BibTeX XML Cite
Full Text: DOI
Daras, Nicholas J. (ed.) et al., Modern discrete mathematics and analysis. With applications in cryptography, information systems and modeling. Cham: Springer (ISBN 978-3-319-74324-0/hbk; 978-3-319-74325-7/ebook). Springer Optimization and Its Applications 131, 251-274 (2018).
MSC:  62K86
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