×

zbMATH — the first resource for mathematics

Found 18 Documents (Results 1–18)

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 117, 14 p. (2016).
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14–18, 2014. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4503-2886-9). Paper No. 63, 10 p. (2014).
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 2013 28th annual ACM/IEEE symposium on logic in computer science, LICS 2013, Tulane University, New Orleans, LA, USA, June 25–28, 2013. Los Alamitos, CA: IEEE Computer Society (ISBN 978-0-7695-5020-6). 33-42 (2013).
MSC:  68Q85 03B44 68Q25
PDF BibTeX XML Cite
Full Text: DOI
D’Argenio, Pedro R. (ed.) et al., CONCUR 2013 – concurrency theory. 24th international conference, CONCUR 2013, Buenos Aires, Argentina, August 27–30, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-40183-1/pbk). Lecture Notes in Computer Science 8052, 137-151 (2013).
MSC:  68Q85 03B70
PDF BibTeX XML Cite
Full Text: DOI
Colom, José-Manuel (ed.) et al., Application and theory of Petri nets and concurrency. 34th international conference, PETRI NETS 2013, Milan, Italy, June 24–28, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-38696-1/pbk). Lecture Notes in Computer Science 7927, 49-69 (2013).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI
D’Souza, Deepak (ed.) et al., IARCS annual conference on foundations of software technology and theoretical computer science (FSTTCS 2012). Selected papers based on the presentations at the 32nd conference, Hyderabad, India, December 15–17, 2012. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-47-7). LIPIcs – Leibniz International Proceedings in Informatics 18, 301-312 (2012).
MSC:  68Q85 68Q25 68Q60
PDF BibTeX XML Cite
Full Text: DOI
Katoen, Joost-Pieter (ed.) et al., CONCUR 2011 – concurrency theory. 22nd international conference, CONCUR 2011, Aachen, Germany, September 6–9, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-23216-9/pbk). Lecture Notes in Computer Science 6901, 358-372 (2011).
MSC:  68Q85 68Q25
PDF BibTeX XML Cite
Full Text: DOI
Raman, Venkatesh (ed.) et al., Parameterized and exact computation. 5th international symposium, IPEC 2010, Chennai, India, December 13–15, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-17492-6/pbk). Lecture Notes in Computer Science 6478, 216-227 (2010).
PDF BibTeX XML Cite
Full Text: DOI
Hliněný, Petr (ed.) et al., Mathematical foundations of computer science 2010. 35th international symposium, MFCS 2010, Brno, Czech Republic, August 23–27, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15154-5/pbk). Lecture Notes in Computer Science 6281, 580-591 (2010).
MSC:  68Q25 03B45
PDF BibTeX XML Cite
Full Text: DOI
Kannan, Ravi (ed.) et al., IARCS annual conference on foundations of software technology and theoretical computer science (FSTTCS 2009), December 15–17, 2009, Kanpur, India. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-13-2). LIPIcs – Leibniz International Proceedings in Informatics 4, 347-358, electronic only (2009).
MSC:  68Q85 68Q25
PDF BibTeX XML Cite
Full Text: DOI Link
Halava, Vesa (ed.) et al., Proceedings of the 2nd workshop on reachability problems in computational models (RP 2008), Liverpool, UK, September 15–17, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 223, 215-237 (2008).
MSC:  68Q85 68Q17 68Q25
PDF BibTeX XML Cite
Full Text: DOI