×

zbMATH — the first resource for mathematics

Found 569 Documents (Results 1–100)

100
MathJax
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
Kosheleva, Olga (ed.) et al., Beyond traditional probabilistic data processing techniques: interval, fuzzy etc. methods and their applications. Dedicated to Vladik Kreinovich on the occasion of his 65th birthday. Cham: Springer (ISBN 978-3-030-31040-0/hbk; 978-3-030-31043-1/pbk; 978-3-030-31041-7/ebook). Studies in Computational Intelligence 835, 341-357 (2020).
MSC:  68T37 65-00
PDF BibTeX XML Cite
Full Text: DOI
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, 122-139 (2020).
PDF BibTeX XML Cite
Full Text: DOI
Kern-Isberner, Gabriele (ed.) et al., Symbolic and quantitative approaches to reasoning with uncertainty. 15th European conference, ECSQARU 2019, Belgrade, Serbia, September 18–20, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-29764-0/pbk; 978-3-030-29765-7/ebook). Lecture Notes in Computer Science 11726. Lecture Notes in Artificial Intelligence, 397-407 (2019).
MSC:  68T37
PDF BibTeX XML Cite
Full Text: DOI
Kern-Isberner, Gabriele (ed.) et al., Symbolic and quantitative approaches to reasoning with uncertainty. 15th European conference, ECSQARU 2019, Belgrade, Serbia, September 18–20, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-29764-0/pbk; 978-3-030-29765-7/ebook). Lecture Notes in Computer Science 11726. Lecture Notes in Artificial Intelligence, 385-396 (2019).
MSC:  68T37
PDF BibTeX XML Cite
Full Text: DOI
Kern-Isberner, Gabriele (ed.) et al., Symbolic and quantitative approaches to reasoning with uncertainty. 15th European conference, ECSQARU 2019, Belgrade, Serbia, September 18–20, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-29764-0/pbk; 978-3-030-29765-7/ebook). Lecture Notes in Computer Science 11726. Lecture Notes in Artificial Intelligence, 50-61 (2019).
MSC:  68T37
PDF BibTeX XML Cite
Full Text: DOI
Bojańczyk, Mikołaj (ed.) et al., Foundations of software science and computation structures. 22nd international conference, FOSSACS 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-17126-1/pbk; 978-3-030-17127-8/ebook). Lecture Notes in Computer Science 11425, 313-329 (2019).
MSC:  68Nxx 68Qxx
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16–18, 2019. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-6282-5). 266-267 (2019).
MSC:  68Q45 68Q60 93C30
PDF BibTeX XML Cite
Full Text: DOI
Rocha, Ricardo (ed.) et al., Technical communications of the 33rd international conference on logic programming, ICLP 2017, August 28 – September 1, 2017, Melbourne, Australia. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. OASIcs – OpenAccess Ser. Inform. 58, Article 8, 15 p. (2018).
MSC:  68T27 68N17 68T37
PDF BibTeX XML Cite
Full Text: DOI
Vestn. St. Petersbg. Univ., Math. 51, No. 1, 42-48 (2018); translation from Vestn. St-Peterbg. Univ., Ser. I, Mat. Mekh. Astron. 5(63), No. 1, 55-64 (2018).
MSC:  68T37 62F15 62H22
PDF BibTeX XML Cite
Full Text: DOI
Uustalu, Tarmo (ed.), 21st international conference on types for proofs and programs, TYPES 2015, May 18–21, 2015, Tallinn, Estonia. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 69, Article 1, 34 p. (2018).
PDF BibTeX XML Cite
Full Text: DOI arXiv
Undergraduate Topics in Computer Science. Cham: Springer (ISBN 978-3-319-58486-7/pbk; 978-3-319-58487-4/ebook). xiv, 356 p. (2017).
PDF BibTeX XML Cite
Full Text: DOI
Haven, Emmanuel (ed.) et al., The Palgrave handbook of quantum models in social science. Applications and grand challenges. New York, NY: Palgrave Macmillan. 251-266 (2017).
PDF BibTeX XML Cite
Full Text: DOI
SpringerBriefs in Computer Science. Cham: Springer (ISBN 978-3-319-69867-0/pbk; 978-3-319-69868-7/ebook). x, 106 p. (2017).
PDF BibTeX XML Cite
Full Text: DOI
Antonucci, Alessandro (ed.) et al., Symbolic and quantitative approaches to reasoning with uncertainty. 14th European conference, ECSQARU 2017, Lugano, Switzerland, July 10–14, 2017. Proceedings. Cham: Springer (ISBN 978-3-319-61580-6/pbk; 978-3-319-61581-3/ebook). Lecture Notes in Computer Science 10369. Lecture Notes in Artificial Intelligence, 491-500 (2017).
MSC:  68T37
PDF BibTeX XML Cite
Full Text: DOI
Antonucci, Alessandro (ed.) et al., Symbolic and quantitative approaches to reasoning with uncertainty. 14th European conference, ECSQARU 2017, Lugano, Switzerland, July 10–14, 2017. Proceedings. Cham: Springer (ISBN 978-3-319-61580-6/pbk; 978-3-319-61581-3/ebook). Lecture Notes in Computer Science 10369. Lecture Notes in Artificial Intelligence, 146-155 (2017).
MSC:  68T37
PDF BibTeX XML Cite
Full Text: DOI
Geuvers, Herman (ed.) et al., Intelligent computer mathematics. 10th international conference, CICM 2017, Edinburgh, UK, July 17–21, 2017. Proceedings. Cham: Springer (ISBN 978-3-319-62074-9/pbk; 978-3-319-62075-6/ebook). Lecture Notes in Computer Science 10383. Lecture Notes in Artificial Intelligence, 239-254 (2017).
MSC:  68T15 05A15 06-04 68Q10 68U35
PDF BibTeX XML Cite
Full Text: DOI
Höfner, Peter (ed.) et al., Relational and algebraic methods in computer science. 16th international conference, RAMiCS 2017, Lyon, France, May 15–18, 2017. Proceedings. Cham: Springer (ISBN 978-3-319-57417-2/pbk; 978-3-319-57418-9/ebook). Lecture Notes in Computer Science 10226, 3-23 (2017).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI
Carvalho, Joao Paulo (ed.) et al., Information processing and management of uncertainty in knowledge-based systems. 16th international conference, IPMU 2016, Eindhoven, The Netherlands, June 20–24, 2016. Proceedings. Part I. Cham: Springer. Commun. Comput. Inf. Sci. 610, 423-434 (2016).
MSC:  68T37 03B52 62H05
PDF BibTeX XML Cite
Full Text: DOI
Carvalho, Joao Paulo (ed.) et al., Information processing and management of uncertainty in knowledge-based systems. 16th international conference, IPMU 2016, Eindhoven, The Netherlands, June 20–24, 2016. Proceedings. Part I. Cham: Springer. Commun. Comput. Inf. Sci. 610, 326-337 (2016).
MSC:  68T37 62H22
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