×

zbMATH — the first resource for mathematics

Found 1,689 Documents (Results 1–100)

100
MathJax
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). 676-688 (2020).
MSC:  68
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). 341-354 (2020).
MSC:  68
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). 224-236 (2020).
MSC:  68
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). 1-6 (2020).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI
Cybern. Syst. Anal. 56, No. 6, 1029-1038 (2020); translation from Kibern. Sist. Anal. 2020, No. 6, 192-202 (2020).
MSC:  11A07 11Y40
PDF BibTeX XML Cite
Full Text: DOI
Foupouagnigni, Mama (ed.) et al., Orthogonal polynomials. Proceedings of the 2nd AIMS-Volkswagen Stiftung workshop on introduction to orthogonal polynomials and applications, Douala, Cameroon, October 5–12, 2018. Cham: Birkhäuser. Tutor. Sch. Workshops Math. Sci., 85-112 (2020).
PDF BibTeX XML Cite
Full Text: DOI
Seo, Jae Hong (ed.), Information security and cryptology – ICISC 2019. 22nd international conference, Seoul, South Korea, December 4–6, 2019. Revised selected papers. Cham: Springer (ISBN 978-3-030-40920-3/pbk; 978-3-030-40921-0/ebook). Lecture Notes in Computer Science 11975, 260-277 (2020).
MSC:  94A60 14H52 11T71
PDF BibTeX XML Cite
Full Text: DOI
Buchmann, Johannes (ed.) et al., Progress in cryptology – AFRICACRYPT 2019. 11th international conference on cryptology in Africa, Rabat, Morocco, July 9–11, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11627, 273-296 (2019).
MSC:  94A60
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). 24-33 (2019).
MSC:  68Q85 68Q17 68Q25
PDF BibTeX XML Cite
Full Text: DOI
Cybern. Syst. Anal. 55, No. 5, 752-759 (2019); translation from Kibern. Sist. Anal. 2019, No. 5, 58-66 (2019).
MSC:  68Q45 94A60
PDF BibTeX XML Cite
Full Text: DOI
Filiot, Emmanuel (ed.) et al., Reachability problems. 13th international conference, RP 2019, Brussels, Belgium, September 11–13, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-30805-6/pbk; 978-3-030-30806-3/ebook). Lecture Notes in Computer Science 11674, 193-201 (2019).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI
Carlet, Claude (ed.) et al., Codes, cryptology and information security. Third international conference, C2SI 2019, Rabat, Morocco, April 22–24, 2019. Proceedings – in honor of Said el Hajji. Cham: Springer (ISBN 978-3-030-16457-7/pbk; 978-3-030-16458-4/ebook). Lecture Notes in Computer Science 11445, 236-253 (2019).
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
Biographic Reference
all top 3
Software