| Titel | Art | | ISBN-13 | Erschei-
nungsjahr | andere Autoren |
|---|
| Automata, Languages and Programming: 24th International Colloquium, ICALP'97, Bologna, Italy, July 7 - 11, 1997, Proceedings | Taschenbuch | | 978-3-540-63165-1 | 1997 | Pierpaolo Degano · Alberto Marchetti-Spaccamela |
| Computational Methods in Systems Biology: 7th International Conference, CMSB 2008 Bologna, Italy, August 31-September 1, 2009 Proceedings | " | | 978-3-642-03844-0 | 2010 | Pierpaolo Degano |
| Formal Methods for Open Object-Based Distributed Systems: 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, ... Notes in Computer Science , Band 4037) | " | | 978-3-540-34893-1 | 2008 | Heike Wehrheim |
| Formal Methods for Open Object-Based Distributed Systems: IFIP TC6 / WG6.1 Third International Conference on Formal Methods for Open Object-Based ... in Information and Communication Technology) | Hardcover | | 978-0-7923-8429-8 | 1999 | Paolo Ciancarini · Alessandro Fantechi |
| Foundations of Security Analysis and Design II: FOSAD 2001/2002 Tutorial Lectures | Taschenbuch | | 978-3-540-20955-3 | 2008 | Riccardo Focardi |
| Foundations of Security Analysis and Design III: FOSAD 2004/2005 Tutorial Lectures | " | | 978-3-540-28955-5 | 2008 | Alessandro Aldini · Fabio Martinelli |
| Foundations of Security Analysis and Design: Tutorial Lectures | " | | 978-3-540-42896-1 | 2008 | Riccardo Focardi |
| Foundations of Security Analysis and Design V: FOSAD 2007/2008/2009 Tutorial Lectures | " | | 978-3-642-03828-0 | 2010 | Alessandro Aldini · Gilles Barthe |
| Foundations of Security Analysis and Design VI: FOSAD Tutorial Lectures | " | | 978-3-642-23081-3 | 2011 | Alessandro Aldini |
| Introduction to Concurrency Theory: Transition Systems and CCS | " | | 978-3-319-36638-8 | 2016 |
| Introduction to Concurrency Theory: Transition Systems and CCS | Gebunden | | 978-3-319-21490-0 | 2015 | Cristian Versari |
| Process Algebras for Petri Nets: The Alphabetization of Distributed Systems | Taschenbuch | | 978-3-319-85694-0 | 2018 |
| Process Algebras for Petri Nets: The Alphabetization of Distributed Systems | Gebunden | | 978-3-319-55558-4 | 2017 |