×

zbMATH — the first resource for mathematics

Found 4,910 Documents (Results 1–100)

100
MathJax
Cheng, Liang-Yee (ed.), ICGG 2020 – Proceedings of the 19th international conference on geometry and graphics, São Paulo, Brazil, January 18–22, 2021. Cham: Springer. Adv. Intell. Syst. Comput. 1296, 343-353 (2021).
MSC:  90C29 90C59 90C90
PDF BibTeX XML Cite
Full Text: DOI
Bertrand, Nathalie (ed.) et al., Formal modeling and analysis of timed systems. 18th international conference, FORMATS 2020, Vienna, Austria, September 1–3, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12288, 76-93 (2020).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI
Barbosa, Luís Soares (ed.) et al., Topics in theoretical computer science. Third IFIP WG 1.8 international conference, TTCS 2020, Tehran, Iran, July 1–2, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12281, 101-115 (2020).
MSC:  68Qxx 68R10 68U05
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). 102-115 (2020).
MSC:  91A15 68W25 68W40
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