×

zbMATH — the first resource for mathematics

Found 85 Documents (Results 1–85)

100
MathJax
J. Comput. Syst. Sci. Int. 49, No. 6, 900-908 (2010); translation from Izv. Ross. Akad. Nauk, Teor. Sist. Upravl. 2010, No. 6, 70-79 (2010).
MSC:  93C83 93B17 93C95
PDF BibTeX XML Cite
Full Text: DOI
Bowman, Howard (ed.) et al., Formal methods for distributed processing. A survey of object-oriented approaches. Cambridge: Cambridge University Press (ISBN 978-0-521-16875-5/pbk). 36-51 (2010).
PDF BibTeX XML Cite
Lilius, Johan (ed.) et al., Applications and theory of Petri nets. 31st international conference, PETRI NETS 2010, Braga, Portugal, June 21–25, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-13674-0/pbk). Lecture Notes in Computer Science 6128, 287-296 (2010).
MSC:  68Q60 68N30 68Q85
PDF BibTeX XML Cite
Full Text: DOI
Salaün, Gwen (ed.) et al., Proceedings of the 8th international workshop on the foundations of coordination languages and software architectures (FOCLASA 2009), Rhodes, Greece, July 11, 2009. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 255, 119-135 (2009).
PDF BibTeX XML Cite
Full Text: Link
Breaz, Daniel (ed.) et al., Proceedings of the 5th international conference on theory and applications of mathematics and informatics, ICTAMI 2007, Alba Iulia, Romania, August 30–September 2, 2007. Alba Iulia: Aeternitas Publishing House (ISBN 978-973-1890-01-2). 55-66 (2008).
MSC:  68N99 68P05
PDF BibTeX XML Cite
Breaz, Daniel (ed.) et al., Proceedings of the 5th international conference on theory and applications of mathematics and informatics, ICTAMI 2007, Alba Iulia, Romania, August 30–September 2, 2007. Alba Iulia: Aeternitas Publishing House (ISBN 978-973-1890-01-2). 43-53 (2008).
MSC:  68N99 68P05
PDF BibTeX XML Cite
Studies in Computational Intelligence 150. Berlin: Springer (ISBN 978-3-540-70774-5/hbk). xiv, 248 p. (2008).
PDF BibTeX XML Cite
Full Text: DOI
Jones, Cliff B. (ed.) et al., Formal methods and hybrid real-time systems. Essays in honour of Dines Bjørner and Zhou Chaochen on the occasion of their 70th birthdays. Berlin: Springer (ISBN 978-3-540-75220-2/pbk). Lecture Notes in Computer Science 4700, 83-114 (2007).
MSC:  68N99
PDF BibTeX XML Cite
Full Text: DOI
De Nicola, Rocco (ed.), Programming languages and systems. 16th European symposium of programming, ESOP 2007, held as part of the joint European conferences on theory and practice of software, ETAPS 2007, Braga, Portugal, March 24 – April 1, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-71314-2/pbk). Lecture Notes in Computer Science 4421, 2-17 (2007).
PDF BibTeX XML Cite
Full Text: DOI
De Nicola, Rocco (ed.), Programming languages and systems. 16th European symposium of programming, ESOP 2007, held as part of the joint European conferences on theory and practice of software, ETAPS 2007, Braga, Portugal, March 24 – April 1, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-71314-2/pbk). Lecture Notes in Computer Science 4421, 18-32 (2007).
PDF BibTeX XML Cite
Full Text: DOI
Chung, Chin-Wan (ed.) et al., Web and communication technologies and internet-related social issues — HSI 2003. Second international conference on Human.Society@Internet, Seoul, Korea, June 18–20, 2003. Proceedings. Berlin: Springer (ISBN 3-540-40456-2/pbk). Lect. Notes Comput. Sci. 2713, 626-631 (2003).
MSC:  68U99 68M10 68M20
PDF BibTeX XML Cite
Full Text: Link
Kowalczyk, Ryszard (ed.) et al., Agent technologies, infrastructures, tools, and applications for e-services. NODe 2002 agent-related workshops, Erfurt, Germany, October 7-10, 2002. Revised papers. Berlin: Springer. Lect. Notes Comput. Sci. 2592, 314-328 (2003).
PDF BibTeX XML Cite
Full Text: Link
Garcia, Alessandro (ed.) et al., Software engineering for large-scale multi-agent systems. Research issues and practical applications. Berlin: Springer. Lect. Notes Comput. Sci. 2603, 267-284 (2003).
MSC:  68U99 68N99 68U35
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, 315-331 (2002).
MSC:  68U99 68U35
PDF BibTeX XML Cite
Full Text: Link
Dordrecht: Kluwer Academic Publishers. xi, 469 p. (1999).
PDF BibTeX XML Cite
Amsterdam: Pergamon/ Elsevier. 262 p. (1998).
MSC:  93-06 00B25
PDF BibTeX XML Cite
Braunschweig: Vieweg. xii, 218 p. DM 78.00 /hc (1994).
MSC:  68-01 68N99
PDF BibTeX XML Cite
J. Comput. Syst. Sci. Int. 34, No. 6, 107-154 (1996); translation from Izv. Akad. Nauk, Teor. Sist. Upr. 1993, No. 6, 137-185 (1993).
MSC:  93C85 93C83 93B51
PDF BibTeX XML Cite
Sander, P. (ed.) et al., Bayesian methods in reliability. Proceedings of a course, held in Bradford, UK, October 1990. Dordrecht: Kluwer Academic Publishers. Topics in Safety, Reliability and Quality. 1, 135-201 (1991).
MSC:  62N05 90B25 68N99
PDF BibTeX XML Cite
EurographicSeminars. Berlin etc.: Springer-Verlag. X, 270 p. (1991).
PDF BibTeX XML Cite
EurographicSeminars. Berlin etc.: Springer-Verlag. XIV, 360 p. (1987).
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