| Titel | Art | | ISBN-13 | Erschei-
nungsjahr | andere Autoren |
|---|
| Applied Formal Methods - FM-Trends 98: International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998, ... Notes in Computer Science , Band 1641) | Taschenbuch | | 978-3-540-66462-8 | 2008 | Werner Stephan · Paolo Traverso · Markus Ullmann |
| Mechanizing Mathematical Reasoning: Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday: Essays in Honor of Jörg H. Siekmann on ... Notes in Computer Science , Band 2605) | " | | 978-3-540-25051-7 | 2008 | Werner Stephan |
| Rippling: Meta-Level Guidance for Mathematical Reasoning | Printed Access Code | | 978-0-511-54332-6 | 2009 | Alan Bundy · David Basin · Andrew Ireland |
| Rippling: Meta-Level Guidance for Mathematical Reasoning | Hardcover | | 978-0-521-83449-0 | 2005 | Alan Bundy · David Basin · Andrew Ireland |
| Security in Pervasive Computing: First International Conference, Boppard, Germany, March 12-14, 2003, Revised Papers | Taschenbuch | | 978-3-540-20887-7 | 2008 | Werner Stephan · G??nter M??ller · Markus Ullmann |
| Security in Pervasive Computing: Second International Conference, SPC 2005, Boppard, Germany, April 6-8, 2005, Proceedings | " | | 978-3-540-25521-5 | 2008 | Markus Ullmann |
| Verhandlungstechnik bei steuerlichen Betriebsprüfungen: Verhandeln im Dienste der Betriebsprüfung | " | | 978-3-503-03494-9 | 1994 | Ernst Schmäche |