×

zbMATH — the first resource for mathematics

Found 4,560 Documents (Results 1–100)

100
MathJax
Frontiers in Artificial Intelligence and Applications 336. Amsterdam: IOS Press (ISBN 978-1-64368-160-3/pbk; 978-1-64368-161-0/ebook). xvii, 1465 p. (2021).
PDF BibTeX XML Cite
Full Text: Link
Lecture Notes in Computer Science 12225. Cham: Springer (ISBN 978-3-030-53290-1/pbk; 978-3-030-53291-8/ebook). xviii, 680 p. (2020).
MSC:  68-06 68Q60 00B25
PDF BibTeX XML Cite
Full Text: DOI
Lecture Notes in Computer Science 12224. Cham: Springer (ISBN 978-3-030-53287-1/pbk; 978-3-030-53288-8/ebook). xvii, 666 p. (2020).
MSC:  68-06 68Q60 00B25
PDF BibTeX XML Cite
Full Text: DOI
Lecture Notes in Computer Science 12302. Cham: Springer (ISBN 978-3-030-59151-9/pbk; 978-3-030-59152-6/ebook). xiv, 574 p. (2020).
MSC:  68-06 68Q60 00B25
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
LIPIcs – Leibniz International Proceedings in Informatics 178. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-167-2). xi, 19 articles, not consecutively paged, electronic only, open access (2020).
PDF BibTeX XML Cite
Full Text: DOI Link
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
New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7018-9). 33 articles, not consecutively paged (2020).
PDF BibTeX XML Cite
Full Text: DOI
Artemov, Sergei (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2020, Deerfield Beach, FL, USA, January 04–07, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-36754-1/pbk; 978-3-030-36755-8/ebook). Lecture Notes in Computer Science 11972, 268-286 (2020).
MSC:  03B70
PDF BibTeX XML Cite
Full Text: DOI
Lecture Notes in Computer Science 11990. Cham: Springer (ISBN 978-3-030-39321-2/pbk; 978-3-030-39322-9/ebook). xiv, 471 p. (2020).
MSC:  68-06 68Q60 00B25
PDF BibTeX XML Cite
Full Text: DOI
Alpcan, Tansu (ed.) et al., Decision and game theory for security. 10th international conference, GameSec 2019, Stockholm, Sweden, October 30 – November 1, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11836, 385-403 (2019).
MSC:  68M25 68Q60 91A80
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, 479-496 (2019).
MSC:  68Q60 60J10 68Q87
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
Fiadeiro, José Luiz (ed.) et al., Recent trends in algebraic development techniques. 24th IFIP WG 1.3 international workshop, WADT 2018, Egham, UK, July 2–5, 2018. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11563, 27-44 (2019).
MSC:  68Q60 03B70 68Q42
PDF BibTeX XML Cite
Full Text: DOI
Electronic Proceedings in Theoretical Computer Science (EPTCS) 305. Waterloo: Open Publishing Association (OPA). 182 p., 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
Iemhoff, Rosalie (ed.) et al., Logic, language, information, and computation. 26th international workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2–5, 2019. Proceedings. Berlin: Springer (ISBN 978-3-662-59532-9/pbk; 978-3-662-59533-6/ebook). Lecture Notes in Computer Science 11541, 533-549 (2019).
MSC:  03B70
PDF BibTeX XML Cite
Full Text: DOI
Iemhoff, Rosalie (ed.) et al., Logic, language, information, and computation. 26th international workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2–5, 2019. Proceedings. Berlin: Springer (ISBN 978-3-662-59532-9/pbk; 978-3-662-59533-6/ebook). Lecture Notes in Computer Science 11541, 323-341 (2019).
MSC:  03B70
PDF BibTeX XML Cite
Full Text: DOI
Charikar, Moses (ed.) et al., Proceedings of the 51st annual ACM SIGACT symposium on theory of computing, STOC ’19, Phoenix, AZ, USA, June 23–26, 2019. New York, NY: Association for Computing Machinery (ACM). 938-942 (2019).
MSC:  90C05 68R05 90C51
PDF BibTeX XML Cite
Full Text: DOI
Lecture Notes in Computer Science 11880. Berlin: Springer (ISBN 978-3-662-60669-8/pbk; 978-3-662-60670-4/ebook). xi, 398 p. (2019).
PDF BibTeX XML Cite
Full Text: DOI
Lecture Notes in Computer Science 11781. Cham: Springer (ISBN 978-3-030-31783-6/pbk; 978-3-030-31784-3/ebook). xi, 552 p. (2019).
MSC:  68-06 68Q60 00B25
PDF BibTeX XML Cite
Full Text: DOI
LIPIcs – Leibniz International Proceedings in Informatics 147. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik (ISBN 978-3-95977-127-6). xi, 20 articles, not consecutively paged, electronic only, open access (2019).
PDF BibTeX XML Cite
Full Text: DOI Link
Lecture Notes in Computer Science 11636. Cham: Springer (ISBN 978-3-030-30922-0/pbk; 978-3-030-30923-7/ebook). x, 261 p. (2019).
PDF BibTeX XML Cite
Full Text: DOI
Lecture Notes in Computer Science 11823. Cham: Springer (ISBN 978-3-030-31156-8/pbk; 978-3-030-31157-5/ebook). x, 207 p. (2019).
MSC:  68-06 68Q60 68T15 00B25
PDF BibTeX XML Cite
Full Text: DOI
Lecture Notes in Computer Science 11562. Cham: Springer (ISBN 978-3-030-25542-8/pbk; 978-3-030-25543-5/ebook). xx, 549 p. (2019).
MSC:  68-06 68Q60 00B25
PDF BibTeX XML Cite
Full Text: DOI
Lecture Notes in Computer Science 11561. Cham: Springer (ISBN 978-3-030-25539-8/pbk; 978-3-030-25540-4/ebook). xix, 673 p. (2019).
MSC:  68-06 68Q60 00B25
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