×

zbMATH — the first resource for mathematics

Found 81 Documents (Results 1–81)

100
MathJax
Chatzigiannakis, Ioannis (ed.) et al., 43rd international colloquium on automata, languages, and programming, ICALP 2016, Rome, Italy, July 12–15, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-013-2). LIPIcs – Leibniz International Proceedings in Informatics 55, Article 102, 15 p. (2016).
MSC:  68Q85 68Q45 68Q87
PDF BibTeX XML Cite
Full Text: DOI
Texts in Theoretical Computer Science. An EATCS Series. Cham: Springer (ISBN 978-3-319-21490-0/hbk; 978-3-319-21491-7/ebook). xi, 334 p. (2015).
MSC:  68-01 68Q55 68Q85
PDF BibTeX XML Cite
Full Text: DOI
Shanghai: Shanghai Jiao Tong University Press; Heidelberg: Springer (ISBN 978-3-662-45197-7/hbk; 978-3-662-45198-4/ebook). xiv, 249 p. (2014).
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). 457-468 (2013).
MSC:  68Q45 68Q85
PDF BibTeX XML Cite
Full Text: DOI
Pfenning, Frank (ed.), Foundations of software science and computation structures. 16th international conference, FOSSACS 2013, held as part of the European joint conferences on theory and practice of software, ETAPS 2013, Rome, Italy, March 16–24, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-37074-8/pbk). Lecture Notes in Computer Science 7794, 97-112 (2013).
MSC:  68Q85 68N30 68Q55
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’11, Austin, TX, USA, January 26–28, 2011. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0490-0). 523-534 (2011).
MSC:  68Q85 81P94 68Q12
PDF BibTeX XML Cite
Full Text: DOI
Hennessy, Matthew (ed.) et al., Proceedings of the 5th workshop on structural operational semantics (SOS 2008), Reykjavik, Iceland, July 6, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 229, No. 4, 85-106 (2009).
PDF BibTeX XML Cite
Full Text: DOI
Aldini, Alessandro (ed.) et al., Proceedings of the 6th workshop on quantitative aspects of programming languages (QAPL 2008), Budapest, Hungary, March 29–30, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 220, No. 3, 129-143 (2008).
MSC:  68Q85 68Q87
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, 31-57 (2008).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI
Aldini, Alessandro (ed.) et al., Proceedings of the fifth workshop on quantitative aspects of programming languages (QAPL 2007), Braga, Portugal, March 24–25, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 190, No. 3, 185-203 (2007).
MSC:  68Q85 68Q87
PDF BibTeX XML Cite
Full Text: DOI
van Glabbeek, Rob (ed.) et al., Proceedings of the fourth workshop on structural operational semantics (SOS 2007), Wroclaw, Poland, July 9, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 192, No. 1, 109-124 (2007).
MSC:  68Q55 68Q85
PDF BibTeX XML Cite
Full Text: DOI
Rensink, Arend (ed.) et al., Proceedings of the workshop on graph transformation for concurrency and verification (GT-VC 2006), Bonn, Germany, August 31, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 175, No. 4, 51-61 (2007).
MSC:  68Q85 68Q42
PDF BibTeX XML Cite
Full Text: DOI
Busi, Nadia (ed.) et al., Proceedings of the first workshop on membrane computing and biologically inspired process calculi (MeCBIC 2006), S. Servolo, Venice, Italy, July 9, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 171, No. 2, 155-170 (2007).
MSC:  68Q85 03B25 92C42
PDF BibTeX XML Cite
Full Text: DOI
Abadi, Martín (ed.) et al., CONCUR 2005 – concurrency theory. 16th international conference, CONCUR 2005, San Francisco, CA, USA, August 23–26, 2005. Proceedings. Berlin: Springer (ISBN 3-540-28309-9/pbk). Lecture Notes in Computer Science 3653, 308-322 (2005).
MSC:  68Q85 68Q55
PDF BibTeX XML Cite
Full Text: DOI
Levy, Jean-Jacques (ed.) et al., Exploring new frontiers of theoretical informatics. IFIP 18th world computer congress, TC1 3rd international conference on theoretical computer science (TCS2004), 22–27 August 2004, Toulouse, France. Boston, MA: Kluwer Academic Publishers (ISBN 1-4020-8140-5/hbk). IFIP, International Federation for Information Processing 155, 549-562 (2004).
MSC:  68Q85 68T05
PDF BibTeX XML Cite
De Alfaro, Luca (ed.) et al., Process algebra and probabilistic methods. Performance modelling and verification. Joint international workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2165, 184-199 (2001).
MSC:  68Q85 68Q60
PDF BibTeX XML Cite
Full Text: Link
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
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, 707-718 (1998).
MSC:  03B70 68Q60
PDF BibTeX XML Cite

Filter Results by …

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