×

zbMATH — the first resource for mathematics

Found 73 Documents (Results 1–73)

100
MathJax
Yang, Hongseok (ed.), Programming languages and systems. 26th European symposium on programming, ESOP 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Berlin: Springer (ISBN 978-3-662-54433-4/pbk; 978-3-662-54434-1/ebook). Lecture Notes in Computer Science 10201, 393-419 (2017).
MSC:  68Nxx
PDF BibTeX XML Cite
Full Text: DOI
Yang, Hongseok (ed.), Programming languages and systems. 26th European symposium on programming, ESOP 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Berlin: Springer (ISBN 978-3-662-54433-4/pbk; 978-3-662-54434-1/ebook). Lecture Notes in Computer Science 10201, 341-367 (2017).
MSC:  68Nxx
PDF BibTeX XML Cite
Full Text: DOI
Esparza, Javier (ed.) et al., Foundations of software science and computation structures. 20th international conference, FOSSACS 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Berlin: Springer (ISBN 978-3-662-54457-0/pbk; 978-3-662-54458-7/ebook). Lecture Notes in Computer Science 10203, 370-386 (2017).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI
J. Comput. Syst. Sci. Int. 55, No. 1, 96-105 (2016); translation from Izv. Ross. Akad. Nauk, Teor. Sist. Upravl. 2016, No. 1, 104-114 (2016).
MSC:  68T50 68T05
PDF BibTeX XML Cite
Full Text: DOI
Meyer, Roland (ed.) et al., Correct system design. Symposium in honor of Ernst-Rüdiger Olderog on the occasion of his 60th birthday, Oldenburg, Germany, September 8–9, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9360, 65-82 (2015).
MSC:  68Q85 68N18
PDF BibTeX XML Cite
Full Text: DOI
J. Comput. Syst. Sci. Int. 52, No. 2, 226-236 (2013); translation from Izv. Ross. Akad. Nauk, Teor. Sist. Upravl. 2013, No. 2, 64-75 (2013).
MSC:  68T35
PDF BibTeX XML Cite
Full Text: DOI
Aceto, Luca (ed.) et al., Automata, languages and programming. 38th international colloquium, ICALP 2011, Zurich, Switzerland, July 4–8, 2011. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-22011-1/pbk). Lecture Notes in Computer Science 6756, 319-331 (2011).
PDF BibTeX XML Cite
Full Text: DOI
Ono, Hiroakira (ed.) et al., Logic, language, information and computation. 16th international workshop, WoLLIC 2009, Tokyo, Japan, June 21–24, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02260-9/pbk). Lecture Notes in Computer Science 5514. Lecture Notes in Artificial Intelligence, 61-71 (2009).
MSC:  68Q87 03B70
PDF BibTeX XML Cite
Full Text: DOI
Garcia de la Banda, Maria (ed.) et al., Logic programming. 24th international conference, ICLP 2008, Udine, Italy, December 9–13 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-89981-5/pbk). Lecture Notes in Computer Science 5366, 114-129 (2008).
MSC:  68N17
PDF BibTeX XML Cite
Full Text: DOI
Moss, Lawrence S. (ed.) et al., Proceedings of the joint meeting of the 6th conference on formal grammar and the 7th conference on mathematics of language, Helsinki, Finland, August 10–12, 2001. Proceedings. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 53, 163-179 (2004).
MSC:  68T50 68Q42
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

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