×

zbMATH — the first resource for mathematics

Found 17,047 Documents (Results 1–100)

100
MathJax
Chapman & Hall/CRC Healthcare Informatics Series. Boca Raton, FL: CRC Press (ISBN 978-0-367-44239-2/hbk; 978-1-00-303000-3/ebook). 327 p. (2021).
PDF BibTeX XML Cite
Full Text: DOI
Barthe, Gilles (ed.) et al., Foundations of probabilistic programming. Cambridge: Cambridge University Press (ISBN 978-1-108-48851-8/hbk; 978-1-108-77075-0/ebook). 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 (ISBN 978-1-108-48851-8/hbk; 978-1-108-77075-0/ebook). 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 (ISBN 978-1-108-48851-8/hbk; 978-1-108-77075-0/ebook). 391-448 (2021).
MSC:  68N01
PDF BibTeX XML Cite
Full Text: DOI
Barthe, Gilles (ed.) et al., Foundations of probabilistic programming. Cambridge: Cambridge University Press (ISBN 978-1-108-48851-8/hbk; 978-1-108-77075-0/ebook). 361-390 (2021).
MSC:  68N01
PDF BibTeX XML Cite
Full Text: DOI
Barthe, Gilles (ed.) et al., Foundations of probabilistic programming. Cambridge: Cambridge University Press (ISBN 978-1-108-48851-8/hbk; 978-1-108-77075-0/ebook). 259-294 (2021).
MSC:  68N01
PDF BibTeX XML Cite
Full Text: DOI
Barthe, Gilles (ed.) et al., Foundations of probabilistic programming. Cambridge: Cambridge University Press (ISBN 978-1-108-48851-8/hbk; 978-1-108-77075-0/ebook). 221-258 (2021).
MSC:  68N01
PDF BibTeX XML Cite
Full Text: DOI
Barthe, Gilles (ed.) et al., Foundations of probabilistic programming. Cambridge: Cambridge University Press (ISBN 978-1-108-48851-8/hbk; 978-1-108-77075-0/ebook). 185-220 (2021).
MSC:  68N01
PDF BibTeX XML Cite
Full Text: DOI
Barthe, Gilles (ed.) et al., Foundations of probabilistic programming. Cambridge: Cambridge University Press (ISBN 978-1-108-48851-8/hbk; 978-1-108-77075-0/ebook). 121-144 (2021).
MSC:  68N01
PDF BibTeX XML Cite
Full Text: DOI
Barthe, Gilles (ed.) et al., Foundations of probabilistic programming. Cambridge: Cambridge University Press (ISBN 978-1-108-48851-8/hbk; 978-1-108-77075-0/ebook). 75-120 (2021).
MSC:  68N01
PDF BibTeX XML Cite
Full Text: DOI
Barthe, Gilles (ed.) et al., Foundations of probabilistic programming. Cambridge: Cambridge University Press (ISBN 978-1-108-48851-8/hbk; 978-1-108-77075-0/ebook). 43-74 (2021).
MSC:  68N01
PDF BibTeX XML Cite
Full Text: DOI
Barthe, Gilles (ed.) et al., Foundations of probabilistic programming. Cambridge: Cambridge University Press (ISBN 978-1-108-48851-8/hbk; 978-1-108-77075-0/ebook). 1-42 (2021).
MSC:  68N01
PDF BibTeX XML Cite
Full Text: DOI
Dey, Nilanjan (ed.) et al., Applications of bat algorithm and its variants. Singapore: Springer (ISBN 978-981-15-5096-6/hbk; 978-981-15-5097-3/ebook). Springer Tracts in Nature-Inspired Computing, 103-118 (2021).
MSC:  93B11 93C05 90C59
PDF BibTeX XML Cite
Full Text: DOI
Engineering Applications of Computational Methods 5. Singapore: Springer (ISBN 978-981-334-419-8/hbk; 978-981-33-4422-8/pbk; 978-981-334-420-4/ebook). xii, 207 p. (2021).
PDF BibTeX XML Cite
Full Text: DOI
Advances in Computer Vision and Pattern Recognition. Cham: Springer (ISBN 978-3-030-61942-8/hbk; 978-3-030-61943-5/ebook). xxviii, 355 p. (2021).
PDF BibTeX XML Cite
Full Text: DOI
Hackensack, NJ: World Scientific (ISBN 978-981-12-0244-5/hbk; 978-981-12-0238-4/set; 978-981-12-0240-7/ebook). xli, 3517-4881 (2021).
PDF BibTeX XML Cite
Full Text: DOI
Hackensack, NJ: World Scientific (ISBN 978-981-12-0243-8/hbk; 978-981-12-0238-4/set; 978-981-12-0240-7/ebook). xli, 2337-3516 (2021).
PDF BibTeX XML Cite
Full Text: DOI
Hackensack, NJ: World Scientific (ISBN 978-981-12-0242-1/hbk; 978-981-12-0238-4/set; 978-981-12-0240-7/ebook). xli, 1025-2335 (2021).
PDF BibTeX XML Cite
Full Text: DOI
Hackensack, NJ: World Scientific (ISBN 978-981-12-0241-4/hbk; 978-981-12-0238-4/set; 978-981-12-0240-7/ebook). xli, 1024 p. (2021).
PDF BibTeX XML Cite
Full Text: DOI
Galbraith, Steven D. (ed.), ANTS XIV. Proceedings of the fourteenth algorithmic number theory symposium, Auckland, New Zealand, virtual event, June 29 – July 4, 2020. Berkeley, CA: Mathematical Sciences Publishers (MSP) (ISBN 978-1-935107-07-1/print; 978-1-935107-08-8/ebook). The Open Book Series 4, 57-71 (2020).
MSC:  11T71 11R18 94A60
PDF BibTeX XML Cite
Full Text: DOI
Bertrand, Nathalie (ed.) et al., Formal modeling and analysis of timed systems. 18th international conference, FORMATS 2020, Vienna, Austria, September 1–3, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-57627-1/pbk; 978-3-030-57628-8/ebook). Lecture Notes in Computer Science 12288, 76-93 (2020).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI
Barbosa, Luís Soares (ed.) et al., Topics in theoretical computer science. Third IFIP WG 1.8 international conference, TTCS 2020, Tehran, Iran, July 1–2, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-57851-0/pbk; 978-3-030-57852-7/ebook). Lecture Notes in Computer Science 12281, 17-31 (2020).
MSC:  68Qxx 68R10 68U05
PDF BibTeX XML Cite
Full Text: DOI
J. Comput. Syst. Sci. Int. 59, No. 6, 939-956 (2020); translation from Izv. Ross. Akad. Nauk, Teor. Sist. Upravl. 2020, No. 6, 132-151 (2020).
MSC:  93B70 93C85 68T07
PDF BibTeX XML Cite
Full Text: DOI
Autom. Remote Control 81, No. 11, 2011-2025 (2020); translation from Avtom. Telemekh. 2020, No. 11, 93-111 (2020).
PDF BibTeX XML Cite
Full Text: DOI
Sotomayor, Marilda (ed.) et al., Complex social and behavioral systems. Game theory and agent-based models. New York, NY: Springer. Encycl. Complex. Syst. Sci. Ser., 485-498 (2020).
MSC:  91A26 91A20
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