×

zbMATH — the first resource for mathematics

Found 12,299 Documents (Results 1–100)

100
MathJax
Henglein, Fritz (ed.) et al., Verification, model checking, and abstract interpretation. 22nd international conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12597, 29-51 (2021).
PDF BibTeX XML Cite
Full Text: DOI
Yoshida, Nobuko (ed.), Programming languages and systems. 30th European symposium on programming, ESOP 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12648, 548-578 (2021).
MSC:  68N30 03B70 68Q55
PDF BibTeX XML Cite
Full Text: DOI
Yoshida, Nobuko (ed.), Programming languages and systems. 30th European symposium on programming, ESOP 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12648, 292-319 (2021).
MSC:  68W40 68P10 68Q60
PDF BibTeX XML Cite
Full Text: DOI
Vermolen, Fred J. (ed.) et al., Numerical mathematics and advanced applications. ENUMATH 2019. Proceedings of the European conference, Egmond aan Zee, The Netherlands, September 30 – October 4, 2019. Cham: Springer. Lect. Notes Comput. Sci. Eng. 139, 1185-1193 (2021).
MSC:  65Z05 00A69
PDF BibTeX XML Cite
Full Text: DOI
WIT Transactions on Engineering Sciences 131. Southampton: WIT Press (ISBN 978-1-78466-431-2/hbk; 978-1-78466-432-9/ebook). 174 p., open access (2021).
PDF BibTeX XML Cite
Full Text: Link

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