×

zbMATH — the first resource for mathematics

Found 268 Documents (Results 1–100)

100
MathJax
Bouajjani, Ahmed (ed.) et al., Verification, model checking, and abstract interpretation. 18th international conference, VMCAI 2017, Paris, France, January 15–17, 2017. Proceedings. Cham: Springer (ISBN 978-3-319-52233-3/pbk; 978-3-319-52234-0/ebook). Lecture Notes in Computer Science 10145, 14-33 (2017).
MSC:  68Q60
PDF BibTeX XML Cite
Full Text: DOI
Crescenzi, Pierluigi (ed.) et al., Proceedings of ICTCS 2015, the 16th Italian conference on theoretical computer science, Firenze, Italy, September 9–11, 2015. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 322, 87-102, electronic only (2016).
MSC:  68N30 68Q42 68Q55
PDF BibTeX XML Cite
Full Text: DOI
Crescenzi, Pierluigi (ed.) et al., Proceedings of ICTCS 2015, the 16th Italian conference on theoretical computer science, Firenze, Italy, September 9–11, 2015. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 322, 3-18, electronic only (2016).
MSC:  68N30 68N19 68Q55
PDF BibTeX XML Cite
Full Text: DOI
Dean, Angela (ed.) et al., Handbook of design and analysis of experiments. Boca Raton, FL: CRC Press (ISBN 978-1-4665-0433-2/hbk; 978-1-4665-0434-9/ebook). Chapman & Hall/CRC Handbooks of Modern Statistical Methods, 415-454 (2015).
PDF BibTeX XML Cite
Princeton Series in Astrophysics. Princeton, NJ: Princeton University Press (ISBN 978-0-691-14173-2/pbk; 978-0-691-14172-5/hbk; 978-1-400-84890-4/ebook). xiii, 311 p. (2014).
PDF BibTeX XML Cite
Andrews, Travis D. (ed.) et al., Excursions in harmonic analysis. Volume 2. The February Fourier Talks at the Norbert Wiener Center, College Park, MD, USA, 2006–2011. New York, NY: Birkhäuser/Springer (ISBN 978-0-8176-8378-8/hbk; 978-0-8176-8379-5/ebook). Applied and Numerical Harmonic Analysis, 423-450 (2013).
MSC:  92C55 92C20
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’13, Rome, Italy, January 23–25, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1832-7). 523-536 (2013).
PDF BibTeX XML Cite
Full Text: DOI
Liu, Zhiming (ed.) et al., Theories of programming and formal methods. Essays dedicated to Jifeng He on the occasion of his 70th birthday. Berlin: Springer (ISBN 978-3-642-39697-7/pbk). Lecture Notes in Computer Science 8051, 374-393 (2013).
PDF BibTeX XML Cite
Full Text: DOI
Computational Imaging and Vision 43. London: Springer (ISBN 978-1-4471-5166-1/hbk; 978-1-4471-5167-8/ebook). xii, 375 p. (2013).
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 13th ACM SIGPLAN international conference on functional programming, ICFP ’08, Victoria, BC, Canada, September 20–28, 2008. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-59593-919-7). ACM SIGPLAN Notices 43, No. 9, 213-224 (2008).
MSC:  68N18 68N15 68N19
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