×

zbMATH — the first resource for mathematics

Found 1,793 Documents (Results 1–100)

100
MathJax
Takagi, Tsuyoshi (ed.) et al., International symposium on mathematics, quantum theory, and cryptography. Proceedings of MQC 2019, Fukuoka, Japan, September 25–27, 2019. Singapore: Springer. Math. Ind. (Tokyo) 33, 57-78 (2021).
PDF BibTeX XML Cite
Full Text: DOI
Series on Knots and Everything 69. Hackensack, NJ: World Scientific (ISBN 978-981-12-1349-6/hbk; 978-981-12-1351-9/ebook). xliv, 193 p. (2021).
PDF BibTeX XML Cite
Full Text: DOI
Series on Knots and Everything 68. Hackensack, NJ: World Scientific (ISBN 978-981-12-1346-5/hbk; 978-981-12-1348-9/ebook). xxxviii, 287 p. (2021).
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) (ISBN 978-1-4503-7104-9). 550-563 (2020).
MSC:  68 03B70
PDF BibTeX XML Cite
Full Text: DOI
Studies in Computational Intelligence 835. Cham: Springer (ISBN 978-3-030-31040-0/hbk; 978-3-030-31041-7/ebook). xi, 649 p. (2020).
PDF BibTeX XML Cite
Full Text: DOI
Sergeyev, Yaroslav D. (ed.) et al., Numerical computations: theory and algorithms. Third international conference, NUMTA 2019, Crotone, Italy, June 15–21, 2019. Revised selected papers. Part II. Cham: Springer (ISBN 978-3-030-40615-8/pbk; 978-3-030-40616-5/ebook). Lecture Notes in Computer Science 11974, 289-297 (2020).
MSC:  65
PDF BibTeX XML Cite
Full Text: DOI
Memoirs of the American Mathematical Society 1292. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-4214-9/pbk; 978-1-4704-6247-5/ebook). v, 89 p. (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, 249-267 (2020).
MSC:  03B70
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, 98-110 (2020).
MSC:  03B70
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, 75-84 (2020).
MSC:  03B70
PDF BibTeX XML Cite
Full Text: DOI
Mu, Yi (ed.) et al., Cryptology and network security. 18th international conference, CANS 2019, Fuzhou, China, October 25–27, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11829, 83-98 (2019).
MSC:  94A60 14G50 68M07
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, 236-247 (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). 1203-1214 (2019).
PDF BibTeX XML Cite
Full Text: DOI
Kaliszyk, Cezary (ed.) et al., Intelligent computer mathematics. 12th international conference, CICM 2019, Prague, Czech Republic, July 8–12, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11617, 93-108 (2019).
MSC:  68W30 68T05
PDF BibTeX XML Cite
Full Text: DOI
Cybern. Syst. Anal. 55, No. 4, 692-698 (2019); translation from Kibern. Sist. Anal. 2019, No. 4, 194-202 (2019).
MSC:  94C 94A
PDF BibTeX XML Cite
Full Text: DOI
Couprie, Michel (ed.) et al., Discrete geometry for computer imagery. 21st IAPR international conference, DGCI 2019, Marne-la-Vallée, France, March 26–28, 2019, Proceedings. Cham: Springer (ISBN 978-3-030-14084-7/pbk; 978-3-030-14085-4/ebook). Lecture Notes in Computer Science 11414, 481-493 (2019).
MSC:  68U05
PDF BibTeX XML Cite
Full Text: DOI
Cham: Springer (ISBN 978-3-030-25208-3/hbk; 978-3-030-25209-0/ebook). xv, 509 p. (2019).
PDF BibTeX XML Cite
Full Text: DOI
Princeton, NJ: Princeton University Press (ISBN 978-0-691-18913-0/hbk; 978-0-691-19254-3/ebook). xiii, 418 p. (2019).
PDF BibTeX XML Cite
Full Text: DOI
Havelund, Klaus (ed.) et al., Formal methods. 22nd international symposium, FM 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 15–17, 2018. Proceedings. Cham: Springer (ISBN 978-3-319-95581-0/pbk; 978-3-319-95582-7/ebook). Lecture Notes in Computer Science 10951, 364-381 (2018).
PDF BibTeX XML Cite
Full Text: DOI
Barthe, Gilles (ed.) et al., LPAR-22. 22nd international conference on logic for programming, artificial intelligence and reasoning, Awassa, Ethiopia, November 17–21, 2018. Selected papers. Manchester: EasyChair. EPiC Ser. Comput. 57, 656-666 (2018).
MSC:  68Q60 68Q42
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