×

zbMATH — the first resource for mathematics

Found 7,984 Documents (Results 1–100)

100
MathJax
Boca Raton, FL: CRC Press (ISBN 978-0-367-48668-6/hbk; 978-1-003-04218-1/ebook). ix, 266 p. (2021).
PDF BibTeX XML Cite
Full Text: DOI
Discrete Math. Appl. 31, No. 1, 61-75 (2021); translation from Diskretn. Mat. 32, No. 1, 8-26 (2020).
MSC:  94Cxx 68-XX
PDF BibTeX XML Cite
Full Text: DOI
Jirásková, Galina (ed.) et al., Descriptional complexity of formal systems. 22nd international conference, DCFS 2020, Vienna, Austria, August 24–26, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12442, 26-38 (2020).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI
De Giacomo, Giuseppe (ed.) et al., ECAI 2020. 24th European conference on artificial intelligence, August 29 – September 8, 2020, Santiago de Compostela, Spain. Including 10th conference on prestigious applications of artificial intelligence, PAIS 2020. Amsterdam: IOS Press. Front. Artif. Intell. Appl. 325, 2569-2576 (2020).
MSC:  68T05 62H22 68Q06
PDF BibTeX XML Cite
Full Text: DOI
De Giacomo, Giuseppe (ed.) et al., ECAI 2020. 24th European conference on artificial intelligence, August 29 – September 8, 2020, Santiago de Compostela, Spain. Including 10th conference on prestigious applications of artificial intelligence, PAIS 2020. Amsterdam: IOS Press. Front. Artif. Intell. Appl. 325, 712-720 (2020).
MSC:  68T05 62H30 68Q06
PDF BibTeX XML Cite
Full Text: DOI
Lanese, Ivan (ed.) et al., Reversible computation. 12th international conference, RC 2020, Oslo, Norway, July 9–10, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12227, 189-205 (2020).
MSC:  68Q09 68Q10 81P68
PDF BibTeX XML Cite
Full Text: DOI
Liu, Joseph K. (ed.) et al., Information security and privacy. 25th Australasian conference, ACISP 2020, Perth, WA, Australia, November 30 – December 2, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12248, 369-388 (2020).
PDF BibTeX XML Cite
Full Text: DOI
Russ. Math. 64, No. 7, 7-12 (2020); translation from Izv. Vyssh. Uchebn. Zaved., Mat. 2020, No. 7, 10-17 (2020).
MSC:  94C12 94C11
PDF BibTeX XML Cite
Full Text: DOI
Bonneau, Joseph (ed.) et al., Financial cryptography and data security. 24th international conference, FC 2020 , Kota Kinabalu, Malaysia, February 10–14, 2020. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12059, 386-403 (2020).
PDF BibTeX XML Cite
Full Text: DOI
Mantzaflaris, Angelos (ed.), Proceedings of the 45th international symposium on symbolic and algebraic computation, ISSAC ’20, Kalamata, Greece, July 20–23, 2020. New York, NY: Association for Computing Machinery (ACM). 450-457 (2020).
MSC:  68W30
PDF BibTeX XML Cite
Full Text: DOI
Mantzaflaris, Angelos (ed.), Proceedings of the 45th international symposium on symbolic and algebraic computation, ISSAC ’20, Kalamata, Greece, July 20–23, 2020. New York, NY: Association for Computing Machinery (ACM). 138-145 (2020).
MSC:  68W30
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). 578-590 (2020).
MSC:  68-XX
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). 209-223 (2020).
MSC:  03F20
PDF BibTeX XML Cite
Full Text: DOI
Makarychev, Konstantin (ed.) et al., Proceedings of the 52nd annual ACM SIGACT symposium on theory of computing, STOC ’20, Chicago, IL, USA, June 22–26, 2020. New York, NY: Association for Computing Machinery (ACM). 1327-1334 (2020).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI
Makarychev, Konstantin (ed.) et al., Proceedings of the 52nd annual ACM SIGACT symposium on theory of computing, STOC ’20, Chicago, IL, USA, June 22–26, 2020. New York, NY: Association for Computing Machinery (ACM). 902-915 (2020).
MSC:  68Qxx
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