×

zbMATH — the first resource for mathematics

Found 153 Documents (Results 1–100)

100
MathJax
André, Étienne (ed.) et al., Formal modeling and analysis of timed systems. 17th international conference, FORMATS 2019, Amsterdam, the Netherlands, August 27–29, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11750, 79-95 (2019).
MSC:  68Q85 68M14 68Q60
PDF BibTeX XML Cite
Full Text: DOI
Schewe, Sven (ed.) et al., 29th international conference on concurrency theory. CONCUR 2018, Beijing, China, September 4–7, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 118, Article 6, 15 p. (2018).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 19th ACM international conference on hybrid systems: computation and control, HSCC 2016, Vienna, Austria, April 12–14, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3955-1). 195-204 (2016).
MSC:  68Q85 68Q45 68Q60
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, 250-269 (2013).
MSC:  90B06 68Q85 90B50
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, 130-149 (2013).
MSC:  68Q85 68Q55
PDF BibTeX XML Cite
Full Text: DOI
Lin, Song (ed.) et al., Advances in computer science, environment, ecoinformatics, and education. International conference, CSEE 2011, Wuhan, China, August 21–22, 2011. Proceedings, Part I. Berlin: Springer (ISBN 978-3-642-23320-3/pbk; 978-3-642-23321-0/ebook). Communications in Computer and Information Science 214, 8-14 (2011).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI
Sobh, Tarek (ed.) et al., Innovations in computing sciences and software engineering. Proceedings of the 2009 second international conference on systems, computing sciences and software engineering (SCSS), December 4–12, 2009. Dordrecht: Springer (ISBN 978-90-481-9111-6/hbk; 978-90-481-9112-3/ebook). 227-233 (2010).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI
Habermehl, P. (ed.) et al., Proceedings of the 8th, 9th, and 10th international workshops on verification of infinite-state systems (INFINITY 2006, 2007, 2008), Bonn, Germany, August 26, 2006, Lisbon, Portugal, September 8, 2007, Toronto, Canada, August 23, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 239, 167-178 (2009).
MSC:  68Q85 68Q45 68Q60
PDF BibTeX XML Cite
Full Text: DOI
Habermehl, P. (ed.) et al., Proceedings of the 8th, 9th, and 10th international workshops on verification of infinite-state systems (INFINITY 2006, 2007, 2008), Bonn, Germany, August 26, 2006, Lisbon, Portugal, September 8, 2007, Toronto, Canada, August 23, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 239, 155-165 (2009).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI
Hlinený, Petr (ed.) et al., Annual doctoral workshop on mathematical and engineering methods in computer science (MEMICS’09). Selected papers based on the presentations at the workshop, November 13-15, 2009, Znojmo, Czech Republic. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-15-6). OASIcs – OpenAccess Series in Informatics 13, 104-111, electronic only (2009).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI
Program. Comput. Softw. 34, No. 6, 330-340 (2008); translation from Programmirovanie 34, No. 6 (2008).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI
Rozprawy Monografie 165. Kraków: AGH Uczelniane Wydawnictwa Naukowo-Dydaktyczne. 157 p. (2007).
MSC:  68Q85 68-02 90B20
PDF BibTeX XML Cite
Asarin, Eugene (ed.) et al., Formal modeling and analysis of timed systems. 4th international conference, FORMATS 2006, Paris, France, September 25–27, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-45026-9/pbk). Lecture Notes in Computer Science 4202, 82-97 (2006).
MSC:  68Q45 68Q85
PDF BibTeX XML Cite
Full Text: DOI
Studies in Computational Intelligence 20. Berlin: Springer (ISBN 3-540-32869-6/hbk). xxxii, 257 p. (2006).
PDF BibTeX XML Cite
Full Text: DOI
Pettersson, Paul (ed.) et al., Formal modeling and analysis of timed systems. Third international conference, FORMATS 2005, Uppsala, Sweden, September 26–28, 2005. Proceedings. Berlin: Springer (ISBN 3-540-30946-2/pbk). Lecture Notes in Computer Science 3829, 211-225 (2005).
MSC:  68Q85 68Q45
PDF BibTeX XML Cite
Full Text: DOI
Ramanujam, R. (ed.) et al., FSTTCS 2005: Foundations of software technology and theoretical computer science. 25th international conference, Hyderabad, India, December 15–18, 2005. Proceedings. Berlin: Springer (ISBN 3-540-30495-9/pbk). Lecture Notes in Computer Science 3821, 273-284 (2005).
MSC:  68Q85 68Q45
PDF BibTeX XML Cite
Full Text: DOI
Peled, Doron A. (ed.) et al., Automated technology for verification and analysis. Third international symposium, ATVA 2005, Taipei, Taiwan, October 4–7, 2005. Proceedings. Berlin: Springer (ISBN 3-540-29209-8/pbk). Lecture Notes in Computer Science 3707, 293-307 (2005).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI
Scitovski, Rudolf (ed.) et al., Proceedings of the 10th international conference on operational research – KOI 2004, Trogir, Croatia, September 22-24, 2004. Osijek: Univ. Osijek, Department of Mathematics; Zagreb: Croatian Operational Research Society (ISBN 953-6931-15-X/pbk). 75-85 (2005).
MSC:  90B35 90B22 90B10
PDF BibTeX XML Cite
Núñez, Manuel (ed.) et al., Applying formal methods: testing, performance, and M/E-commerce. FORTE 2004 workshops the FormEMC, EPEW, ITM, Toledo, Spain, October 1–2, 2004. Proceedings. Berlin: Springer (ISBN 3-540-23169-2/pbk). Lecture Notes in Computer Science 3236, 209-219 (2004).
MSC:  68M20 68Q85
PDF BibTeX XML Cite
Full Text: DOI
Larsen, Kim G. (ed.) et al., Formal modeling and analysis of timed systems. First international workshop, FORMATS 2003, Marseille, France, September 6–7, 2003. Revised papers. Berlin: Springer (ISBN 3-540-21671-5/pbk). Lecture Notes in Computer Science 2791, 246-259 (2004).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI
Damm, Werner (ed.) et al., Formal techniques in real-time and fault-tolerant systems. 7th international symposium, FTRTFT 2002, co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9–12, 2002. Proceedings. Berlin: Springer (ISBN 3-540-44165-4/pbk). Lecture Notes in Computer Science 2469, 165-183 (2002).
MSC:  68Q42 68Q45 68Q85
PDF BibTeX XML Cite
Full Text: DOI
Esparza, Javier (ed.) et al., Application and theory of Petri nets 2002. 23rd international conference, ICATPN 2002, Adelaide, Australia, June 24–30, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43787-8). Lect. Notes Comput. Sci. 2360, 314-334 (2002).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: Link
Han, Yanbo (ed.) et al., Engineering and deployment of cooperative information systems. First international conference, EDCIS 2002, Beijing, China, September 17-20, 2002. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2480, 30-44 (2002).
MSC:  68U99 68U35
PDF BibTeX XML Cite
Full Text: Link
Caillaud, Benoît (ed.) et al., Synthesis and control of discrete event systems. Boston: Kluwer Academic Publishers. 141-153 (2002).
PDF BibTeX XML Cite

Filter Results by …

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