×

zbMATH — the first resource for mathematics

Found 3,747 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). 74-87 (2020).
MSC:  68
PDF BibTeX XML Cite
Full Text: DOI
Pinelas, Sandra (ed.) et al., Differential and difference equations with applications. Selected papers based on the presentations at the fourth international conference, ICDDEA 2019, Lisbon, Portugal, July 1–5, 2019. Cham: Springer (ISBN 978-3-030-56322-6/hbk; 978-3-030-56323-3/ebook). Springer Proceedings in Mathematics & Statistics 333, 133-141 (2020).
PDF BibTeX XML Cite
Full Text: DOI
Catania, Barbara (ed.) et al., SOFSEM 2019: theory and practice of computer science. 45th international conference on current trends in theory and practice of computer science, Nový Smokovec, Slovakia, January 27–30, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11376, 179-191 (2019).
MSC:  68Q27 62H22 68W20
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, 462-478 (2019).
PDF BibTeX XML Cite
Full Text: DOI
Hao, Feng (ed.) et al., Progress in cryptology – INDOCRYPT 2019. 20th international conference on cryptology in India, Hyderabad, India, December 15–18, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-35422-0/pbk; 978-3-030-35423-7/ebook). Lecture Notes in Computer Science 11898, 472-491 (2019).
PDF BibTeX XML Cite
Full Text: DOI
Hao, Feng (ed.) et al., Progress in cryptology – INDOCRYPT 2019. 20th international conference on cryptology in India, Hyderabad, India, December 15–18, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-35422-0/pbk; 978-3-030-35423-7/ebook). Lecture Notes in Computer Science 11898, 415-432 (2019).
PDF BibTeX XML Cite
Full Text: DOI
Chan, Timothy M. (ed.), Proceedings of the 30th annual ACM-SIAM symposium on discrete algorithms, SODA 2019, San Diego, CA, USA, January 6–9, 2019. Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM); New York, NY: Association for Computing Machinery (ACM). 841-860 (2019).
PDF BibTeX XML Cite
Full Text: DOI
McQuillan, Ian (ed.) et al., Unconventional computation and natural computation. 18th international conference, UCNC 2019, Tokyo, Japan, June 3–7, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-19310-2/pbk; 978-3-030-19311-9/ebook). Lecture Notes in Computer Science 11493, 30-36 (2019).
MSC:  68Q05 68Q10
PDF BibTeX XML Cite
Full Text: DOI
Hinze, Thomas (ed.) et al., Membrane computing. 19th international conference, CMC 2018, Dresden, Germany, September 4–7, 2018. Revised selected papers. Cham: Springer (ISBN 978-3-030-12796-1/pbk; 978-3-030-12797-8/ebook). Lecture Notes in Computer Science 11399, 160-187 (2019).
MSC:  68Q05 68Q10
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