×

zbMATH — the first resource for mathematics

Found 10 Documents (Results 1–10)

100
MathJax
Paskevich, Andrei (ed.) et al., Verified software. Theories, tools, and experiments. 9th international conference, VSTTE 2017, Heidelberg, Germany, July 22–23, 2017. Revised selected papers. Cham: Springer (ISBN 978-3-319-72307-5/pbk; 978-3-319-72308-2/ebook). Lecture Notes in Computer Science 10712, 170-190 (2017).
MSC:  68Q60 68N19
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5–8, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4391-6). 759-767 (2016).
MSC:  68Q85 68Q55
PDF BibTeX XML Cite
Full Text: DOI
Igarashi, Atsushi (ed.), Programming languages and systems. 14th Asian symposium, APLAS 2016, Hanoi, Vietnam, November 21–23, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10017, 63-84 (2016).
MSC:  68Nxx
PDF BibTeX XML Cite
Full Text: DOI
Wallace, Mark (ed.), Principles and practice of constraint programming – CP 2004. 10th international conference, CP 2004, Toronto, Canada, September 27–October 1, 2004. Proceedings. Berlin: Springer (ISBN 978-3-540-23241-4/pbk). Lecture Notes in Computer Science 3258, 634-647 (2004).
MSC:  68T20 90C59
PDF BibTeX XML Cite
Full Text: DOI
Rossi, Francesca (ed.), Principles and practice of constraint programming – CP 2003. 9th international conference, CP 2003, Kinsale, Ireland, September 29 – October 3, 2003. Proceedings. Berlin: Springer (ISBN 3-540-20202-1/pbk). Lect. Notes Comput. Sci. 2833, 694-708 (2003).
MSC:  90C35 90C59
PDF BibTeX XML Cite
Full Text: DOI
Rossi, Francesca (ed.), Principles and practice of constraint programming – CP 2003. 9th international conference, CP 2003, Kinsale, Ireland, September 29 – October 3, 2003. Proceedings. Berlin: Springer (ISBN 3-540-20202-1/pbk). Lect. Notes Comput. Sci. 2833, 679-693 (2003).
PDF BibTeX XML Cite
Full Text: DOI