×

zbMATH — the first resource for mathematics

Found 10,831 Documents (Results 1–100)

100
MathJax
LIPIcs – Leibniz International Proceedings in Informatics 203. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik (ISBN 978-3-95977-203-7). xiv, 36 articles, not consecutively paged, electronic only, open access (2021).
MSC:  68-06 68Q85 00B25
PDF BibTeX XML Cite
Full Text: DOI Link
Groote, Jan Friso (ed.) et al., Tools and algorithms for the construction and analysis of systems. 27th international conference, TACAS 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12651, 449-467 (2021).
PDF BibTeX XML Cite
Full Text: DOI
Groote, Jan Friso (ed.) et al., Tools and algorithms for the construction and analysis of systems. 27th international conference, TACAS 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12651, 3-19 (2021).
MSC:  68Q85 03B70 91A80
PDF BibTeX XML Cite
Full Text: DOI
Lecture Notes in Computer Science 12734. Cham: Springer (ISBN 978-3-030-76982-6/pbk; 978-3-030-76983-3/ebook). xi, 486 p. (2021).
MSC:  68-06 68Q85 00B25
PDF BibTeX XML Cite
Full Text: DOI
Lecture Notes in Computer Science 12530. Journal Subline. Berlin: Springer (ISBN 978-3-662-63078-5/pbk; 978-3-662-63079-2/ebook). xvii, 185 p. (2021).
MSC:  68-06 68Q85 00B15
PDF BibTeX XML Cite
Full Text: DOI
Dimov, Ivan (ed.) et al., Advances in high performance computing. Results of the international conference on high performance computing, Borovets, Bulgaria, September 2–6, 2019. Cham: Springer. Stud. Comput. Intell. 902, 3-14 (2021).
MSC:  68M18 68Q85
PDF BibTeX XML Cite
Full Text: DOI
Castillo, Oscar (ed.) et al., Intuitionistic and type-2 fuzzy logic enhancements in neural and optimization algorithms: theory and applications. Cham: Springer. Stud. Comput. Intell. 862, 91-98 (2020).
MSC:  68T37 68Q85 68M11
PDF BibTeX XML Cite
Full Text: DOI
Electronic Proceedings in Theoretical Computer Science (EPTCS) 324. Waterloo: Open Publishing Association (OPA). 95 p., electronic only, open access (2020).
MSC:  68-06 68Q85 00B25
PDF BibTeX XML Cite
Full Text: DOI Link Link
Electronic Proceedings in Theoretical Computer Science (EPTCS) 322. Waterloo: Open Publishing Association (OPA). 105 p., electronic only, open access (2020).
PDF BibTeX XML Cite
Full Text: DOI Link Link
IEEE Press Series on Systems Science and Engineering. Piscataway, NJ: IEEE Press; Hoboken, NJ: John Wiley & Sons (ISBN 978-1-119-61968-0/hbk; 978-1-119-61972-7/ebook). xxv, 256 p. (2020).
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM). 1-6 (2020).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI
Felty, Amy (ed.) et al., 14th international workshop on logical and semantic frameworks, with applications, LSFA 2019, Natal, Brazil, in August 2019. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 348, 85-103 (2020).
MSC:  68Q85 03B45 03B52
PDF BibTeX XML Cite
Full Text: DOI
Münster: Univ. Münster, Mathematisch-Naturwissenschaftliche Fakultät, Fachbereich Mathematik und Informatik (Diss.). 216 p. (2020).
MSC:  68-02 68Q60 68Q85
PDF BibTeX XML Cite
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. Lect. Notes Comput. Sci. 12012, 263-280 (2020).
MSC:  68Q85 68Q11
PDF BibTeX XML Cite
Full Text: DOI
Comput. Math. Math. Phys. 60, No. 1, 82-89 (2020); translation from Zh. Vychisl. Mat. Mat. Fiz. 60, No. 1, 88-95 (2020).
PDF BibTeX XML Cite
Full Text: DOI
LIPIcs – Leibniz International Proceedings in Informatics 171. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-160-3). xvi, 50 articles, not consecutively paged, electronic only, open access (2020).
MSC:  68-06 68Q85 00B25
PDF BibTeX XML Cite
Full Text: DOI Link
Goubault-Larrecq, Jean (ed.) et al., Foundations of software science and computation structures. 23rd international conference, FOSSACS 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12077, 622-641 (2020).
MSC:  68Q85 68Q25
PDF BibTeX XML Cite
Full Text: DOI
Goubault-Larrecq, Jean (ed.) et al., Foundations of software science and computation structures. 23rd international conference, FOSSACS 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12077, 37-56 (2020).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI
Acu, Bahar (ed.) et al., Advances in mathematical sciences. AWM research symposium, Houston, TX, USA, April 6–7, 2019. Cham: Springer. Assoc. Women Math. Ser. 21, 255-271 (2020).
PDF BibTeX XML Cite
Full Text: DOI
Chatzigeorgiou, Alexander (ed.) et al., SOFSEM 2020: theory and practice of computer science. 46th international conference on current trends in theory and practice of informatics, SOFSEM 2020, Limassol, Cyprus, January 20–24, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12011, 441-453 (2020).
PDF BibTeX XML Cite
Full Text: DOI
Chatzigeorgiou, Alexander (ed.) et al., SOFSEM 2020: theory and practice of computer science. 46th international conference on current trends in theory and practice of informatics, SOFSEM 2020, Limassol, Cyprus, January 20–24, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12011, 285-297 (2020).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI
Chatzigeorgiou, Alexander (ed.) et al., SOFSEM 2020: theory and practice of computer science. 46th international conference on current trends in theory and practice of informatics, SOFSEM 2020, Limassol, Cyprus, January 20–24, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12011, 223-235 (2020).
MSC:  68Q85 68Q27
PDF BibTeX XML Cite
Full Text: DOI
Lirkov, Ivan (ed.) et al., Large-scale scientific computing. 12th international conference, LSSC 2019, Sozopol, Bulgaria, June 10–14, 2019. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11958, 484-492 (2020).
PDF BibTeX XML Cite
Full Text: DOI
Lirkov, Ivan (ed.) et al., Large-scale scientific computing. 12th international conference, LSSC 2019, Sozopol, Bulgaria, June 10–14, 2019. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11958, 475-483 (2020).
MSC:  68M18 68Q85
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