×

zbMATH — the first resource for mathematics

Found 43 Documents (Results 1–43)

100
MathJax
Gopal, T. V. (ed.) et al., Theory and applications of models of computation. 14th annual conference, TAMC 2017, Bern, Switzerland, April 20–22, 2017. Proceedings. Cham: Springer (ISBN 978-3-319-55910-0/pbk; 978-3-319-55911-7/ebook). Lecture Notes in Computer Science 10185, 201-215 (2017).
MSC:  68Q42
PDF BibTeX XML Cite
Full Text: DOI
Leporati, Alberto (ed.) et al., Membrane computing. 17th international conference, CMC 2016, Milan, Italy, July 25–29, 2016. Revised selected papers. Cham: Springer (ISBN 978-3-319-54071-9/pbk; 978-3-319-54072-6/ebook). Lecture Notes in Computer Science 10105, 67-82 (2017).
MSC:  68Q05 68Q10
PDF BibTeX XML Cite
Full Text: DOI
Sampaio, Augusto (ed.) et al., Theoretical aspects of computing – ICTAC 2016. 13th international colloquium, Taipei, Taiwan, ROC, October 24–31, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-46749-8/pbk; 978-3-319-46750-4/ebook). Lecture Notes in Computer Science 9965, 25-29 (2016).
MSC:  68Qxx
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. Lect. Notes Comput. Sci. 9726, 35-48 (2016).
MSC:  68Q42 68Q45
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, 479-492 (2016).
MSC:  68Qxx
PDF BibTeX XML 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, 253-272 (2014).
MSC:  68Q85
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
Corradini, Flavio (ed.) et al., MTCS 2000. Proceedings of the international satellite workshop on models for time-critical systems, State College, University Park, PA, USA, 26 August 2000. Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 39,3, 15 p., electronic only (2000).
MSC:  68Q60 68Q45
PDF BibTeX XML Cite
Full Text: Link

Filter Results by …

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