Titel | ISBN-13 | Erschei- nungsjahr | andere Autoren |
Automata, Languages and Programming: 24th International Colloquium, ICALP'97, Bologna, Italy, July 7 - 11, 1997, Proceedings | 978-3-540-63165-1 | 1997 | Roberto Gorrieri · 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 | Roberto Gorrieri |
Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday | 978-3-540-68676-7 | 2010 | Rocco de Nicola · José Meseguer |
Formal Aspects in Security and Trust: 5th International Workshop, FAST 2008 Malaga, Spain, October 9-10, 2008, Revised Selected Papers | 978-3-642-01464-2 | 2009 | Joshua D. Guttman · Fabio Martinelli |
Formal Aspects in Security and Trust: 6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised Selected Papers ... Notes in Computer Science , Band 5983) | 978-3-642-12458-7 | 2010 |
Formal Aspects of Security and Trust: 7th International Workshop, FAST 2010, Pisa, Italy, September 16-17, 2010. Revised Selected Papers | 978-3-642-19750-5 | 2011 | Sandro Etalle · Joshua Guttman |
Formal Methods for Computational Systems Biology: 8th International School on Formal Methods for the Design of Computer, Communication, and Software ... Notes in Computer Science, Band 5016) | 978-3-540-68892-1 | 2008 | Marco Bernardo · Gianluigi Zavattaro |
Foundations and Applications of Security Analysis: Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of ... Notes in Computer Science, Band 5511) | 978-3-642-03458-9 | 2009 | Luca Vigano |
Principles of Security and Trust | 978-3-642-28640-7 | 2012 | Joshua D. Guttman |
Principles of Security and Trust: First International Conference, POST 2012, Held as Part of the European Joint Conferences on Theory and Practice of ... March 24 - April 1, 2012, Proceedings | 978-3-642-28642-1 | 2012 | " |
Programming Languages and Systems: 12th European Symposium on Programming, ESOP 2003, Held as Part of the Joint European Conferences on Theory and ... Notes in Computer Science , Band 2618) | 978-3-540-00886-6 | 2008 |