×

zbMATH — the first resource for mathematics

Found 23 Documents (Results 1–23)

100
MathJax
Larsen, Kim G. (ed.) et al., 42nd international symposium on mathematical foundations of computer science, MFCS 2017, August 21–25, 2017, Aalborg, Denmark. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 83, Article 49, 14 p. (2017).
MSC:  68Q85 68Q17 68Q45
PDF BibTeX XML Cite
Full Text: DOI
Amos, Martyn (ed.) et al., Unconventional computation and natural computation. 15th international conference, UCNC 2016, Manchester, UK, July 11–15, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-41311-2/pbk; 978-3-319-41312-9/ebook). Lecture Notes in Computer Science 9726, 1-10 (2016).
MSC:  68Q05 68Q10
PDF BibTeX XML Cite
Full Text: DOI
Jacobs, Bart (ed.) et al., Foundations of software science and computation structures. 19th international conference, FOSSACS 2016, held as part of the European joint conferences on theory and practice of software, ETAPS 2016, Eindhoven, The Netherlands, April 2–8, 2016. Proceedings. Berlin: Springer (ISBN 978-3-662-49629-9/pbk; 978-3-662-49630-5/ebook). Lecture Notes in Computer Science 9634, 445-461 (2016).
MSC:  68Qxx
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, 327-341 (2011).
MSC:  68Q85 68Q17
PDF BibTeX XML Cite
Full Text: DOI
Kristensen, Lars M. (ed.) et al., Applications and theory of Petri nets. 32nd international conference, PETRI NETS 2011, Newcastle, UK, June 20–24, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21833-0/pbk). Lecture Notes in Computer Science 6709, 189-207 (2011).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI
Abdulla, Parosh Aziz (ed.) et al., Tools and algorithms for the construction and analysis of systems. 17th international conference, TACAS 2011, held as part of the joint European conferences on theory and practice of software, ETAPS 2011, Saarbrücken, Germany, March 26 – April 3, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-19834-2/pbk). Lecture Notes in Computer Science 6605, 224-238 (2011).
MSC:  68Q60 68Q85 90C10
PDF BibTeX XML Cite
Full Text: DOI
Bournez, Olivier (ed.) et al., Reachability problems. 3rd international workshop, RP 2009, Palaiseau, France, September 23–25, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04419-9/pbk). Lecture Notes in Computer Science 5797, 51-63 (2009).
MSC:  68Q85 68Q17
PDF BibTeX XML Cite
Full Text: DOI
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, 239-264 (2008).
PDF BibTeX XML Cite
Full Text: DOI
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

Filter Results by …

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