| Titel | Art | ISBN-13 | Erschei-
nungsjahr | andere Autoren |
|---|
| Applied Semantics: International Summer School, APPSEM 2000 Caminha, Portugal, September 9-15, 2000 Advanced Lectures | Taschenbuch | 978-3-540-44044-4 | 2009 | Peter Dybjer · Luís Pinto · João Saraiva |
| Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, ... Notes in Computer Science , Band 3362) | " | 978-3-540-24287-1 | 2008 | Traian Muntean · Jean-Louis Lanet · Lilian Burdy · Marieke Huisman |
| Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: Second International Workshop, CASSIS 2005, Nice, France, March 8-11, ... Notes in Computer Science , Band 3956) | " | 978-3-540-33689-1 | 2010 | Benjamin Gregoire · Marieke Huisman · Jean-Luis Lanet |
| Engineering Secure Software and Systems: 4th International Symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012, Proceedings | " | 978-3-642-28165-5 | 2012 | Ben Livshits · Riccardo Scandariato |
| Formal Aspects of Security and Trust: 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers | " | 978-3-642-29419-8 | 2012 | Anupam Datta · Sandro Etalle |
| Formal Methods for Open Object-Based Distributed Systems: 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 ... Notes in Computer Science , Band 5051) | " | 978-3-540-68862-4 | 2008 |
| Foundations of Security Analysis and Design V: FOSAD 2007/2008/2009 Tutorial Lectures | " | 978-3-642-03828-0 | 2010 | Alessandro Aldini · Roberto Gorrieri |
| Programming Languages and Systems: 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conference on Theory and ... Germany, March 26--April 3, 2011, Proceedings | Paperback | 978-3-642-19719-2 | 2011 |
| Programming Languages and Systems: 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conference on Theory and ... Notes in Computer Science , Band 6602) | Taschenbuch | 978-3-642-19717-8 | 2011 |
| Security and Trust Management: 6th International Workshop, STM 2010, Athens, Greece, September 23-24, 2010, Revised Selected Papers | " | 978-3-642-22443-0 | 2011 | Jorge Cuellar · Javier Lopez · Alexander Pretschner |
| Security and Trust Management: 12th International Workshop, STM 2016, Heraklion, Crete, Greece, September 26-27, 2016, Proceedings | " | 978-3-319-46597-5 | 2016 | Evangelos Markatos · Pierangela Samarati |
| Security and Trust Management: 12th International Workshop, STM 2016, Heraklion, Crete, Greece, September 26-27, 2016, Proceedings | Paperback | 978-3-319-46599-9 | 2016 | Evangelos Markatos · Pierangela Samarati |
| Software Engineering and Formal Methods: 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011, Proceedings | Taschenbuch | 978-3-642-24689-0 | 2011 | Alberto Pardo · Gerardo Schneider |
| Trustworthy Global Computing: Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers | " | 978-3-540-78662-7 | 2008 |
| Verification, Model Checking, and Abstract Interpretation: 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings | " | 978-3-642-11318-5 | 2010 | Manuel Hermenegildo |