×

zbMATH — the first resource for mathematics

Found 104 Documents (Results 1–100)

100
MathJax
Khomenko, Victor (ed.) et al., Application and theory of Petri nets and concurrency. 39th international conference, PETRI NETS 2018, Bratislava, Slovakia, June 24–29, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10877, 82-98 (2018).
MSC:  68Q85
PDF BibTeX Cite
Full Text: DOI
Steffen, Bernhard (ed.) et al., SOFSEM 2017: theory and practice of computer science. 43rd international conference on current trends in theory and practice of computer science, Limerick, Ireland, January 16–20, 2017, Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10139, 163-175 (2017).
MSC:  68Q85
PDF BibTeX Cite
Full Text: DOI
Steffen, Bernhard (ed.) et al., SOFSEM 2017: theory and practice of computer science. 43rd international conference on current trends in theory and practice of computer science, Limerick, Ireland, January 16–20, 2017, Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10139, 132-146 (2017).
MSC:  68Q85
PDF BibTeX Cite
Full Text: DOI
Koutny, Maciej (ed.) et al., Transactions on Petri Nets and Other Models of Concurrency XI. Berlin: Springer (ISBN 978-3-662-53400-7/pbk; 978-3-662-53401-4/ebook). Lecture Notes in Computer Science 9930. Journal Subline, 137-159 (2016).
MSC:  68Q85
PDF BibTeX Cite
Full Text: DOI
Kordon, Fabrice (ed.) et al., Application and theory of Petri nets and concurrency. 37th international conference, PETRI NETS 2016, Toruń, Poland, June 19–24, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-39085-7/pbk; 978-3-319-39086-4/ebook). Lecture Notes in Computer Science 9698, 59-78 (2016).
MSC:  68Q85
PDF BibTeX Cite
Full Text: DOI
Kordon, Fabrice (ed.) et al., Application and theory of Petri nets and concurrency. 37th international conference, PETRI NETS 2016, Toruń, Poland, June 19–24, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-39085-7/pbk; 978-3-319-39086-4/ebook). Lecture Notes in Computer Science 9698, 39-58 (2016).
MSC:  68Q85
PDF BibTeX Cite
Full Text: DOI
Probst, Christian W. (ed.) et al., Semantics, logics, and calculi. Essays dedicated to Hanne Riis Nielson and Flemming Nielson on the occasion of their 60th birthdays. Cham: Springer. Lect. Notes Comput. Sci. 9560, 313-343 (2016).
MSC:  68Qxx
PDF BibTeX Cite
Full Text: DOI
Aceto, Luca (ed.) et al., 26th international conference on concurrency theory, CONCUR’15, Madrid, Spain, September 1–4, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-91-0). LIPIcs – Leibniz International Proceedings in Informatics 42, 128-141 (2015).
MSC:  68Q85
PDF BibTeX 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 Cite
Full Text: DOI
Ciardo, Gianfranco (ed.) et al., Application and theory of Petri nets and concurrency. 35th international conference, PETRI NETS 2014, Tunis, Tunisia, June 23–27, 2014. Proceedings. Berlin: Springer (ISBN 978-3-319-07733-8/pbk). Lecture Notes in Computer Science 8489, 111-129 (2014).
MSC:  68Q85
PDF BibTeX Cite
Full Text: DOI
Berger, Ulrich (ed.) et al., Proceedings of the 28th conference on the mathematical foundations of programming semantics (MFPS XXVIII), Bath, UK, June 6–9, 2012. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 286, 73-86 (2012).
MSC:  68Q85 68Q45 68Q55
PDF BibTeX Cite
Full Text: DOI
Baeten, Jos C. M. (ed.) et al., Theoretical computer science. 7th IFIP TC 1/WG 2.2 international conference, TCS 2012, Amsterdam, The Netherlands, September 26–28, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33474-0/pbk). Lecture Notes in Computer Science 7604, 134-148 (2012).
MSC:  68Q85 68Q60
PDF BibTeX Cite
Full Text: DOI
Calude, Christian S. (ed.) et al., Theoretical computer science. 6th IFIP WG 2.2 international conference, TCS 2010, held as a Part of the World Computer Congress (WCC 2010), Brisbane, Australia, September 20–23, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15239-9/hbk; 978-3-642-15240-5/ebook). IFIP Advances in Information and Communication Technology 323, 32-52 (2010).
MSC:  68Q85 06A99
PDF BibTeX Cite
Full Text: DOI
Ehrig, H. (ed.) et al., Proceedings of the second workshop on applied and computational category theory (ACCAT 2007), Braga, Portugal, March 25, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 203, No. 6, 3-17 (2008).
MSC:  68Q85
PDF BibTeX 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, 93-108 (2007).
MSC:  68Q85
PDF BibTeX Cite
Full Text: DOI
Middeldorp, Aart (ed.) et al., Processes, terms and cycles: steps on the road to infinity. Essays dedicated to Jan Willem Klop on the occasion of his 60th birthday. Berlin: Springer (ISBN 3-540-30911-X/pbk). Lecture Notes in Computer Science 3838, 106-126 (2005).
MSC:  68Q85
PDF BibTeX 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 Cite
Graf, Susanne (ed.) et al., Tools and algorithms for the construction and analysis of systems. 6th international conference, TACAS 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. 1785, 283-298 (2000).
MSC:  68Q85
PDF BibTeX Cite
Wolfram, David (ed.), CATS 2000 Computing: the Australasian theory symposium, Canberra, Australia, February 1-2, 2000. Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 31,1, 15 p., electronic only (2000).
MSC:  68Q10 68Q85
PDF BibTeX Cite
Full Text: Link
Thomas, Wolfgang (ed.), Foundations of software science and computation structures. 2nd international conference, FOSSACS ’99. Held as part of the joint European conferences on Theory and practice of software, ETAPS ’99, Amsterdam, the Netherlands, March 22–28, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1578, 41-55 (1999).
MSC:  03B70 68Q85 03B45
PDF BibTeX Cite
Sangiorgi, Davide (ed.) et al., CONCUR ’98. Concurrency theory. 9th international conference, Nice, France, September 8-11, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1466, 18-33 (1998).
MSC:  93C65 93B50
PDF BibTeX Cite
Nielsen, Mogens (ed.) et al., Computer science logic. 11th international workshop, CSL ’97. Annual conference of the EACSL, Aarhus, Denmark, August 23–29, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1414, 239-254 (1998).
PDF BibTeX Cite
Privara, L. (ed.) et al., Mathematical foundations of computer science 1997. 22nd international symposium, MFCS ’97, Bratislava, Slovakia, August 25-29, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1295, 139-148 (1997).
PDF BibTeX Cite
Andima, Susan (ed.) et al., Papers on general topology and applications. Papers presented at the 11th summer conference at the University of Southern Maine, Gorham, ME, USA, August 10–13, 1995. New York, NY: The New York Academy of Sciences. Ann. N. Y. Acad. Sci. 806, 69-87 (1996).
MSC:  68Q55
PDF BibTeX Cite
Computer-aided verification ’90, Proc. 2nd DIMACS Workshop, New Brunswick/NJ (USA) 1990, DIMACS, Ser. Discret. Math. Theor. Comput. Sci. 3, 519-533 (1991).
MSC:  68Q60 68M10 68Q85
PDF BibTeX Cite

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