×

zbMATH — the first resource for mathematics

Found 26 Documents (Results 1–26)

100
MathJax
Drewes, Frank (ed.) et al., Language and automata theory and applications. 11th international conference, LATA 2017, Umeå, Sweden, March 6–9, 2017. Proceedings. Cham: Springer (ISBN 978-3-319-53732-0/pbk; 978-3-319-53733-7/ebook). Lecture Notes in Computer Science 10168, 51-63 (2017).
MSC:  68Q45
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, 389-406 (2017).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI
Cégielski, Patrick (ed.) et al., Computer science logic (CSL’12). 26th international workshop, 21th annual conference of the EACSL, September 3–6, 2012, Fontainebleau, France. Selected papers based on the presentations at the conference. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-42-2). LIPIcs – Leibniz International Proceedings in Informatics 16, 228-242, electronic only (2012).
MSC:  03F52 68Q85
PDF BibTeX XML Cite
Full Text: DOI
Amadio, Roberto (ed.) et al., Proceedings of the 14th international workshop on expressiveness in concurrency (EXPRESS 2007), Lisbon, Portugal, September 3, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 194, No. 2, 59-84 (2008).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI
Tiuryn, Jerzy (ed.), Foundations of software science and computation structures. 3rd international conference, FOSSACS 2000. Held as part of the joint European conferences on theory and practice of software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1784, 283-296 (2000).
MSC:  68Q85
PDF BibTeX XML Cite
Tiuryn, Jerzy (ed.), Foundations of software science and computation structures. 3rd international conference, FOSSACS 2000. Held as part of the joint European conferences on theory and practice of software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1784, 146-160 (2000).
MSC:  68Q85
PDF BibTeX XML Cite
Pandu Rangan, C. (ed.) et al., Foundations of software technology and theoretical computer science. 19th conference, Chennai, India, December 13-15, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1738, 304-315 (1999).
MSC:  68Q85 03B44
PDF BibTeX XML Cite
Castellani, Ilaria (ed.) et al., EXPRESS ’99. The 6th international workshop on expressiveness in concurrency, Eindhoven, the Netherlands, August 23, 1999. Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 27, 14 p., electronic only (1999).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: Link
Larsen, Kim G. (ed.) et al., Automata, languages and programming. 25th international colloquium, ICALP ’98. Aalborg, Denmark, July 13–17, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1443, 844-855 (1998).
MSC:  03B70 68Q10
PDF BibTeX XML Cite

Filter Results by …

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