×

zbMATH — the first resource for mathematics

Found 8,759 Documents (Results 1–100)

100
MathJax
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
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
Boca Raton, FL: CRC Press (ISBN 978-0-367-27732-1/hbk; 978-0-429-29759-5/ebook). xxi, 160 p. (2021).
PDF BibTeX XML Cite
Full Text: DOI
Lecture Notes in Computer Science 12245. Cham: Springer (ISBN 978-3-030-54831-5/pbk; 978-3-030-54832-2/ebook). xx, 219 p.
PDF BibTeX XML Cite
Full Text: DOI
Lecture Notes in Computer Science 12076. Cham: Springer (ISBN 978-3-030-45233-9/pbk; 978-3-030-45234-6/ebook). xiii, 552 p.
MSC:  68-06 68Nxx 00B25
PDF BibTeX XML Cite
Full Text: DOI
Lecture Notes in Computer Science 12310. Cham: Springer (ISBN 978-3-030-58767-3/pbk; 978-3-030-58768-0/ebook). xiv, 325 p. (2020).
MSC:  68-06 68Nxx 00B25
PDF BibTeX XML Cite
Full Text: DOI
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
Electronic Notes in Theoretical Computer Science 352. Amsterdam: Elsevier. 304 p., electronic only, open access (2020).
PDF BibTeX XML Cite
Full Text: Link
LIPIcs – Leibniz International Proceedings in Informatics 182. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-174-0). viii, 58 articles, not consecutively paged, electronic only, open access (2020).
PDF BibTeX XML Cite
Full Text: DOI Link
Herzig, Andreas (ed.) et al., Foundations of information and knowledge systems. 11th international symposium, FoIKS 2020, Dortmund, Germany, February 17–21, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-39950-4/pbk; 978-3-030-39951-1/ebook). Lecture Notes in Computer Science 12012, 42-57 (2020).
PDF BibTeX XML Cite
Full Text: DOI
LIPIcs – Leibniz International Proceedings in Informatics 175. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-158-0). ix, 10 articles, not consecutively paged, electronic only, open access (2020).
PDF BibTeX XML Cite
Full Text: DOI Link
Use R!. Berlin: Springer (ISBN 978-3-662-62026-7/pbk; 978-3-662-62027-4/ebook). xvi, 308 p. (2020).
PDF BibTeX XML Cite
Full Text: DOI
Lecture Notes in Computer Science 12077. Cham: Springer (ISBN 978-3-030-45230-8/pbk; 978-3-030-45231-5/ebook). xv, 644 p., open access (2020).
PDF BibTeX XML Cite
Full Text: DOI
Leporati, Alberto (ed.) et al., Language and automata theory and applications. 14th international conference, LATA 2020, Milan, Italy, March 4–6, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12038, 157-169 (2020).
PDF BibTeX XML Cite
Full Text: DOI
LIPIcs – Leibniz International Proceedings in Informatics 168. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-138-2). xxxvi, 141 articles, not consecutively paged, electronic only, open access (2020).
PDF BibTeX XML Cite
Full Text: DOI Link
Seo, Jae Hong (ed.), Information security and cryptology – ICISC 2019. 22nd international conference, Seoul, South Korea, December 4–6, 2019. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11975, 102-114 (2020).
MSC:  68P25 94A60
PDF BibTeX XML Cite
Full Text: DOI
Use R!. Cham: Springer (ISBN 978-3-030-48996-0/pbk; 978-3-030-48997-7/ebook). xv, 276 p. (2020).
PDF BibTeX XML Cite
Full Text: DOI
Studies on the Semantic Web 47. Amsterdam: IOS Press; Heidelberg: Akademische Verlagsgesellschaft AKA (ISBN 978-1-64368-080-4/pbk; 978-1-64368-081-1/ebook). vii, 592 p. (2020).
PDF BibTeX XML Cite
Full Text: DOI
Lecture Notes in Computer Science 12065. Cham: Springer (ISBN 978-3-030-41102-2/pbk; 978-3-030-41103-9/ebook). xiv, 293 p. (2020).
PDF BibTeX XML Cite
Full Text: DOI
Lecture Notes in Computer Science 12012. Cham: Springer (ISBN 978-3-030-39950-4/pbk; 978-3-030-39951-1/ebook). xviii, 335 p. (2020).
PDF BibTeX XML Cite
Full Text: DOI
Lecture Notes in Computer Science 12011. Cham: Springer (ISBN 978-3-030-38918-5/pbk; 978-3-030-38919-2/ebook). xvi, 723 p. (2020).
PDF BibTeX XML Cite
Full Text: DOI
Zhu, Xiaoyan (ed.) et al., Knowledge graph and semantic computing: knowledge computing and language understanding. Proceedings of the 4th China conference, CCKS 2019, Hangzhou, China, August 24–27, 2019. Revised selected papers. Singapore: Springer (ISBN 978-981-15-1955-0/pbk; 978-981-15-1956-7/ebook). Communications in Computer and Information Science 1134, 198-210 (2019).
PDF BibTeX XML Cite
Full Text: DOI
Zhu, Xiaoyan (ed.) et al., Knowledge graph and semantic computing: knowledge computing and language understanding. Proceedings of the 4th China conference, CCKS 2019, Hangzhou, China, August 24–27, 2019. Revised selected papers. Singapore: Springer (ISBN 978-981-15-1955-0/pbk; 978-981-15-1956-7/ebook). Communications in Computer and Information Science 1134, 185-197 (2019).
PDF BibTeX XML Cite
Full Text: DOI
Zhu, Xiaoyan (ed.) et al., Knowledge graph and semantic computing: knowledge computing and language understanding. Proceedings of the 4th China conference, CCKS 2019, Hangzhou, China, August 24–27, 2019. Revised selected papers. Singapore: Springer (ISBN 978-981-15-1955-0/pbk; 978-981-15-1956-7/ebook). Communications in Computer and Information Science 1134, 175-184 (2019).
PDF BibTeX XML Cite
Full Text: DOI
Zhu, Xiaoyan (ed.) et al., Knowledge graph and semantic computing: knowledge computing and language understanding. Proceedings of the 4th China conference, CCKS 2019, Hangzhou, China, August 24–27, 2019. Revised selected papers. Singapore: Springer (ISBN 978-981-15-1955-0/pbk; 978-981-15-1956-7/ebook). Communications in Computer and Information Science 1134, 165-174 (2019).
PDF BibTeX XML Cite
Full Text: DOI
Zhu, Xiaoyan (ed.) et al., Knowledge graph and semantic computing: knowledge computing and language understanding. Proceedings of the 4th China conference, CCKS 2019, Hangzhou, China, August 24–27, 2019. Revised selected papers. Singapore: Springer (ISBN 978-981-15-1955-0/pbk; 978-981-15-1956-7/ebook). Communications in Computer and Information Science 1134, 158-164 (2019).
PDF BibTeX XML Cite
Full Text: DOI
Zhu, Xiaoyan (ed.) et al., Knowledge graph and semantic computing: knowledge computing and language understanding. Proceedings of the 4th China conference, CCKS 2019, Hangzhou, China, August 24–27, 2019. Revised selected papers. Singapore: Springer (ISBN 978-981-15-1955-0/pbk; 978-981-15-1956-7/ebook). Communications in Computer and Information Science 1134, 149-157 (2019).
PDF BibTeX XML Cite
Full Text: DOI
Zhu, Xiaoyan (ed.) et al., Knowledge graph and semantic computing: knowledge computing and language understanding. Proceedings of the 4th China conference, CCKS 2019, Hangzhou, China, August 24–27, 2019. Revised selected papers. Singapore: Springer (ISBN 978-981-15-1955-0/pbk; 978-981-15-1956-7/ebook). Communications in Computer and Information Science 1134, 136-148 (2019).
PDF BibTeX XML Cite
Full Text: DOI
Zhu, Xiaoyan (ed.) et al., Knowledge graph and semantic computing: knowledge computing and language understanding. Proceedings of the 4th China conference, CCKS 2019, Hangzhou, China, August 24–27, 2019. Revised selected papers. Singapore: Springer (ISBN 978-981-15-1955-0/pbk; 978-981-15-1956-7/ebook). Communications in Computer and Information Science 1134, 123-135 (2019).
PDF BibTeX XML Cite
Full Text: DOI
Zhu, Xiaoyan (ed.) et al., Knowledge graph and semantic computing: knowledge computing and language understanding. Proceedings of the 4th China conference, CCKS 2019, Hangzhou, China, August 24–27, 2019. Revised selected papers. Singapore: Springer (ISBN 978-981-15-1955-0/pbk; 978-981-15-1956-7/ebook). Communications in Computer and Information Science 1134, 111-122 (2019).
PDF BibTeX XML Cite
Full Text: DOI
Zhu, Xiaoyan (ed.) et al., Knowledge graph and semantic computing: knowledge computing and language understanding. Proceedings of the 4th China conference, CCKS 2019, Hangzhou, China, August 24–27, 2019. Revised selected papers. Singapore: Springer (ISBN 978-981-15-1955-0/pbk; 978-981-15-1956-7/ebook). Communications in Computer and Information Science 1134, 98-110 (2019).
PDF BibTeX XML Cite
Full Text: DOI
Zhu, Xiaoyan (ed.) et al., Knowledge graph and semantic computing: knowledge computing and language understanding. Proceedings of the 4th China conference, CCKS 2019, Hangzhou, China, August 24–27, 2019. Revised selected papers. Singapore: Springer (ISBN 978-981-15-1955-0/pbk; 978-981-15-1956-7/ebook). Communications in Computer and Information Science 1134, 86-97 (2019).
PDF BibTeX XML Cite
Full Text: DOI
Zhu, Xiaoyan (ed.) et al., Knowledge graph and semantic computing: knowledge computing and language understanding. Proceedings of the 4th China conference, CCKS 2019, Hangzhou, China, August 24–27, 2019. Revised selected papers. Singapore: Springer (ISBN 978-981-15-1955-0/pbk; 978-981-15-1956-7/ebook). Communications in Computer and Information Science 1134, 74-85 (2019).
PDF BibTeX XML Cite
Full Text: DOI
Zhu, Xiaoyan (ed.) et al., Knowledge graph and semantic computing: knowledge computing and language understanding. Proceedings of the 4th China conference, CCKS 2019, Hangzhou, China, August 24–27, 2019. Revised selected papers. Singapore: Springer (ISBN 978-981-15-1955-0/pbk; 978-981-15-1956-7/ebook). Communications in Computer and Information Science 1134, 62-73 (2019).
PDF BibTeX XML Cite
Full Text: DOI
Zhu, Xiaoyan (ed.) et al., Knowledge graph and semantic computing: knowledge computing and language understanding. Proceedings of the 4th China conference, CCKS 2019, Hangzhou, China, August 24–27, 2019. Revised selected papers. Singapore: Springer (ISBN 978-981-15-1955-0/pbk; 978-981-15-1956-7/ebook). Communications in Computer and Information Science 1134, 50-61 (2019).
PDF BibTeX XML Cite
Full Text: DOI
Zhu, Xiaoyan (ed.) et al., Knowledge graph and semantic computing: knowledge computing and language understanding. Proceedings of the 4th China conference, CCKS 2019, Hangzhou, China, August 24–27, 2019. Revised selected papers. Singapore: Springer (ISBN 978-981-15-1955-0/pbk; 978-981-15-1956-7/ebook). Communications in Computer and Information Science 1134, 38-49 (2019).
PDF BibTeX XML Cite
Full Text: DOI
Zhu, Xiaoyan (ed.) et al., Knowledge graph and semantic computing: knowledge computing and language understanding. Proceedings of the 4th China conference, CCKS 2019, Hangzhou, China, August 24–27, 2019. Revised selected papers. Singapore: Springer (ISBN 978-981-15-1955-0/pbk; 978-981-15-1956-7/ebook). Communications in Computer and Information Science 1134, 25-37 (2019).
PDF BibTeX XML Cite
Full Text: DOI
Zhu, Xiaoyan (ed.) et al., Knowledge graph and semantic computing: knowledge computing and language understanding. Proceedings of the 4th China conference, CCKS 2019, Hangzhou, China, August 24–27, 2019. Revised selected papers. Singapore: Springer (ISBN 978-981-15-1955-0/pbk; 978-981-15-1956-7/ebook). Communications in Computer and Information Science 1134, 13-24 (2019).
PDF BibTeX XML Cite
Full Text: DOI
Zhu, Xiaoyan (ed.) et al., Knowledge graph and semantic computing: knowledge computing and language understanding. Proceedings of the 4th China conference, CCKS 2019, Hangzhou, China, August 24–27, 2019. Revised selected papers. Singapore: Springer (ISBN 978-981-15-1955-0/pbk; 978-981-15-1956-7/ebook). Communications in Computer and Information Science 1134, 1-12 (2019).
PDF BibTeX XML Cite
Full Text: DOI
Chen, Yu-Fang (ed.) et al., Automated technology for verification and analysis. 17th international symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11781, 462-478 (2019).
PDF BibTeX XML Cite
Full Text: DOI
Chen, Yu-Fang (ed.) et al., Automated technology for verification and analysis. 17th international symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11781, 209-227 (2019).
MSC:  68N30 03B70 68P05
PDF BibTeX XML Cite
Full Text: DOI
Electronic Proceedings in Theoretical Computer Science (EPTCS) 296. Waterloo: Open Publishing Association (OPA). 75 p., electronic only, open access (2019).
PDF BibTeX XML Cite
Full Text: DOI Link
LIPIcs – Leibniz International Proceedings in Informatics 150. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-131-3). xii, 51 articles, not consecutively paged, electronic only, open access (2019).
PDF BibTeX XML Cite
Full Text: DOI Link
LIPIcs – Leibniz International Proceedings in Informatics 130. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-106-1). 7 articles, not consecutively paged, electronic only, open access (2019).
PDF BibTeX XML Cite
Full Text: DOI Link
Wiesbaden: Springer Vieweg (ISBN 978-3-658-25808-5/pbk; 978-3-658-25809-2/ebook). xii, 426 p. (2019).
PDF BibTeX XML Cite
Full Text: DOI
Communications in Computer and Information Science 1134. Singapore: Springer (ISBN 978-981-15-1955-0/pbk; 978-981-15-1956-7/ebook). xiv, 211 p. (2019).
PDF BibTeX XML Cite
Full Text: DOI
Deng, Robert H. (ed.) et al., Applied cryptography and network security. 17th international conference, ACNS 2019, Bogota, Colombia, June 5–7, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-21567-5/pbk; 978-3-030-21568-2/ebook). Lecture Notes in Computer Science 11464, 155-174 (2019).
MSC:  94A60 68P25
PDF BibTeX XML Cite
Full Text: DOI
Schwabe, Peter (ed.) et al., Progress in cryptology – LATINCRYPT 2019. 6th international conference on cryptology and information security in Latin America, Santiago de Chile, Chile, October 2–4, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11774, 280-300 (2019).
MSC:  94A62 68P25
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