| Titel | Art | | ISBN-13 | Erschei-
nungsjahr | andere Autoren |
|---|
| Applied Information Security: A Hands-on Approach | Taschenbuch | | 978-3-642-43632-1 | 2013 |
| Applied Information Security: A Hands-on Approach | Gebunden | | 978-3-642-24473-5 | 2011 | Patrick Schaller · Michael Schläpfer |
| Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings | Taschenbuch | | 978-3-540-22345-0 | 2008 | Michael Rusinowitch |
| Engineering Secure Software and Systems: Second International Symposium, ESSoS 2010, Pisa, Italy, February 3-4, 2010, Proceedings | " | | 978-3-642-11746-6 | 2010 | Anette Andresen · Andrew Austin · Bernhard Berger · Clara Bertolissi · Christian Beyerlein |
| Principles of Security and Trust | " | | 978-3-642-36829-5 | 2013 | John C. Mitchell |
| Rippling: Meta-Level Guidance for Mathematical Reasoning | Printed Access Code | | 978-0-511-54332-6 | 2009 | Alan Bundy · Dieter Hutter · Andrew Ireland |
| Rippling: Meta-Level Guidance for Mathematical Reasoning | Hardcover | | 978-0-521-83449-0 | 2005 | Alan Bundy · Dieter Hutter · Andrew Ireland |
| Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings | Taschenbuch | | 978-3-540-40664-8 | 2008 | Burkhart Wolff |