×

zbMATH — the first resource for mathematics

Found 70 Documents (Results 1–70)

100
MathJax
Mazzara, Manuel (ed.) et al., Perspectives of system informatics. 10th international Andrei Ershov informatics conference, PSI 2015, in memory of Helmut Veith, Kazan and Innopolis, Russia, August 24–27, 2015. Revised selected papers. Cham: Springer (ISBN 978-3-319-41578-9/pbk; 978-3-319-41579-6/ebook). Lecture Notes in Computer Science 9609, 75-90 (2016).
MSC:  68Qxx
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, 230-249 (2013).
MSC:  92C42 68Q85
PDF BibTeX XML Cite
Full Text: DOI
Mladenov, Valeri (ed.) et al., Advances in communications, computers, systems, circuits and devices. Papers based on the presentations at the European conference of systems (ECS ’10); European conference of circuits technology and devices (ECCTD ’10); European conference of communications (ECCOM ’10); European conference of computer science (ECCS ’10), Puerto de la Cruz, Tenerife, Spain, November 30 – December 2, 2010. Athens: WSEAS Press (ISBN 978-960-474-250-9). Proceedings of the NAUN & IEEEAM international conferences, 213-218 (2010).
MSC:  68Q85
PDF BibTeX XML Cite
Kallel, Ali (ed.) et al., Mathematical methods, computational techniques, intelligent systems. 12th WSEAS international conference (MAMECTIS ’10), Kantaoui, Sousse, Tunia, May 3–6, 2010. Athens: World Scientific and Engineering Academy and Society (WSEAS) (ISBN 978-960-474-191-5/CD-ROM; 978-960-474-188-5/hbk). Electrical and Computer Engineering Series. A Series of Reference Books and Textbooks, 172-175 (2010).
MSC:  05C90
PDF BibTeX XML Cite
Priami, Corrado (ed.) et al., Transactions on Computational Systems Biology XII. Special issue on modeling methodologies. Berlin: Springer (ISBN 978-3-642-11711-4/pbk). Lecture Notes in Computer Science 5945. Lecture Notes in Bioinformatics. Journal Subline, 77-145 (2010).
PDF BibTeX XML Cite
Full Text: DOI
Chen, Yan (ed.) et al., Security and privacy in communication networks. 5th international ICST conference, SecureComm 2009, Athens, Greece, September 14–18, 2009. Revised selected papers. Berlin: Springer (ISBN 978-3-642-05283-5/pbk; 978-3-642-05284-2/ebook). Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering 19, 101-120 (2009).
MSC:  68M11
PDF BibTeX XML Cite
Full Text: DOI
van Hee, Kees M. (ed.) et al., Applications and theory of Petri nets. 29th international conference, PETRI NETS 2008, Xi’an, China, June 23–27, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-68745-0/pbk). Lecture Notes in Computer Science 5062, 348-367 (2008).
MSC:  90B20 68Q85
PDF BibTeX XML Cite
Full Text: DOI
van Hee, Kees M. (ed.) et al., Applications and theory of Petri nets. 29th international conference, PETRI NETS 2008, Xi’an, China, June 23–27, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-68745-0/pbk). Lecture Notes in Computer Science 5062, 132-151 (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
Berichte aus der Automatisierungstechnik. Aachen: Shaker Verlag; Kaiserlautern: Univ. Kaiserslautern, Fachbereich Informatik; Cachan Cedex: École Normale Supérieure de Cachan (ISBN 978-3-8322-6407-9/pbk). iii, 122 p., Appendixes A-B. (2007).
MSC:  68Q85 68-02
PDF BibTeX XML Cite
Full Text: Link
Valmari, Antti (ed.), Model checking software. 13th international SPIN workshop, Vienna, Austria, March 30 – April 1, 2006. Proceedings. Berlin: Springer (ISBN 3-540-33102-6/pbk). Lecture Notes in Computer Science 3925, 201-218 (2006).
MSC:  68Q60 68M12 68Q85
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, 457-473 (2005).
MSC:  68Q60 68Q45 68Q85
PDF BibTeX XML Cite
Full Text: DOI
Wang, Guoyin (ed.) et al., Rough sets, fuzzy sets, data mining, and granular computing. 9th international conference, RSFDGrC 2003, Chongqing, China, May 26-29, 2003. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2639, 299-302 (2003).
MSC:  68T37 68Q85
PDF BibTeX XML Cite
Full Text: Link
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
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, 273-293 (2002).
MSC:  68M10 68M12 68Q85
PDF BibTeX XML Cite
Full Text: Link
Boxma, O. J. (ed.) et al., Performance evaluation of parallel and distributed systems. Solution methods. Proceedings of the 3rd QMIPS workshop, held in Torino, Italy, on September 25 and 26, 1993. Part 2. Amsterdam: CWI. CWI Tracts. 106, 197-213 (1994).
MSC:  68M10
PDF BibTeX XML Cite
Computer-aided verification ’90, Proc. 2nd DIMACS Workshop, New Brunswick/NJ (USA) 1990, DIMACS, Ser. Discret. Math. Theor. Comput. Sci. 3, 43-55 (1991).
MSC:  68Q85
PDF BibTeX XML Cite
Amsterdam etc.: North-Holland. XX, 390 p.; $ 94.75; Dfl. 180.00 (1988).
Reviewer: I.Wende
PDF BibTeX XML 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