| Titel | | ISBN-13 | Erschei-
nungsjahr | andere Autoren |
|---|
| Data Privacy Management, Autonomous Spontaneous Security, and Security Assurance: 9th International Workshop, DPM 2014, 7th International Workshop, ... Notes in Computer Science, Band 8872) | | 978-3-319-17015-2 | 2015 | Joaquin Garcia-Alfaro · Jordi Herrera-Joancomartí · Emil Lupu · Alessandro Aldini · Fabio Martinelli · Neeraj Suri |
| Handbook of Tableau Methods | | 978-0-7923-5627-1 | 1999 | Marcello D'Agostino · Dov M. Gabbay · Reiner Hähnle |
| Information Security Theory and Practice. Security, Privacy and Trust in Computing Systems and Ambient Intelligent Ecosystems | | 978-3-642-30954-0 | 2012 | Ioannis Askoxylakis · Henrich C. Pöhls |
| Information Security Theory and Practices: Security and Privacy of Pervasive Systems and Smart Devices: 4th IFIP WG 11.2 International Workshop, WISTP ... Computer Science / Security and Cryptology) | | 978-3-642-12367-2 | 2010 | Pierangela Samarati · Michael Tunstall · Konstantinos Markantonakis · Damien Sauveron |
| Services and Visualization: Towards User-Friendly Design: ACos'98, VISUAL'98, AIN'97, Selected Papers | | 978-3-540-64367-8 | 2008 | Bernhard Steffen · Roland R¿¿ckert · Tiziana Margaria |
| Theorem Proving with Analytic Tableaux and Related Methods: 4th International Workshop, TABLEAUX-95, Schlo¿¿ Rheinfels, St. Goar, Germany, May 7 - 10, ... Notes in Computer Science , Band 918) | | 978-3-540-59338-6 | 2008 | Reiner H¿¿hnle · Peter Baumgartner |
| Theorem Proving with Analytic Tableaux and Related Methods: 4th International Workshop, TABLEAUX-95, Schloß Rheinfels, St. Goar, Germany, May 7 - 10, 1995. Proceedings | | 978-3-662-19203-0 | 2014 | Peter Baumgartner · Reiner Hähnle |