×

zbMATH — the first resource for mathematics

Found 24 Documents (Results 1–24)

100
MathJax
Mastroeni, Isabella (ed.), Proceedings of the 6th international workshop on numerical and symbolic abstract domains, NSAD 2016, Edinburgh, UK, September 11, 2016. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 331, 3-39 (2017).
PDF BibTeX XML Cite
Full Text: DOI
Agha, Gul (ed.) et al., Quantitative evaluation of systems. 13th international conference, QEST 2016, Quebec City, QC, Canada, August 23–25, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-43424-7/pbk; 978-3-319-43425-4/ebook). Lecture Notes in Computer Science 9826, 191-206 (2016).
MSC:  68N19 68N30
PDF BibTeX XML Cite
Full Text: DOI
Thiemann, Peter (ed.), Programming languages and systems. 25th European symposium on programming, ESOP 2016, held as part of the European joint conferences on theory and practice of software, ETAPS 2016, Eindhoven, The Netherlands, April 2–8, 2016. Proceedings. Berlin: Springer (ISBN 978-3-662-49497-4/pbk; 978-3-662-49498-1/ebook). Lecture Notes in Computer Science 9632, 364-389 (2016).
MSC:  68N30 68Q87
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type
Reviewing State
all top 5
Year of Publication
Classification
all top 3
Software