×

zbMATH — the first resource for mathematics

Found 1,443 Documents (Results 1–100)

100
MathJax
Felty, Amy (ed.) et al., 14th international workshop on logical and semantic frameworks, with applications, LSFA 2019, Natal, Brazil, in August 2019. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 348, 23-41 (2020).
MSC:  03B70 68Q17
PDF BibTeX XML Cite
Full Text: DOI
Rahman, M. Sohel (ed.) et al., WALCOM: algorithms and computation. 14th international conference, WALCOM 2020, Singapore, Singapore, March 31 – April 2, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-39880-4/pbk; 978-3-030-39881-1/ebook). Lecture Notes in Computer Science 12049, 211-222 (2020).
MSC:  68Wxx
PDF BibTeX XML Cite
Full Text: DOI
Lirkov, Ivan (ed.) et al., Large-scale scientific computing. 12th international conference, LSSC 2019, Sozopol, Bulgaria, June 10–14, 2019. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11958, 530-539 (2020).
MSC:  90C27 90C70
PDF BibTeX XML Cite
Full Text: DOI
Nikolov, Geno (ed.) et al., Numerical methods and applications. 9th international conference, NMA 2018, Borovets, Bulgaria, August 20–24, 2018. Revised selected papers. Cham: Springer (ISBN 978-3-030-10691-1/pbk; 978-3-030-10692-8/ebook). Lecture Notes in Computer Science 11189, 167-175 (2019).
MSC:  65
PDF BibTeX XML Cite
Full Text: DOI
Studies in Systems, Decision and Control 173. Cham: Springer (ISBN 978-3-319-98976-1/hbk; 978-3-319-98977-8/ebook). xiv, 518 p. (2019).
PDF BibTeX XML Cite
Full Text: DOI
D’Angelo, Gianlorenzo (ed.), 17th symposium on experimental algorithms, SEA 2018, June 27–29, 2018, L’Aquila, Italy. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-070-5). LIPIcs – Leibniz International Proceedings in Informatics 103, Article 21, 13 p. (2018).
MSC:  68Wxx
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