Stephan Werner · W.S. · W. Stephan · Werner Stephan Dieter Hutter
Springer · Vandenhoeck & Ruprecht
| Titel | 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) | 978-3-540-66462-8 | 2008 | Dieter Hutter · Paolo Traverso · Markus Ullmann |
| Aufstieg und Verfall des Linksliberalismus 1918-1933. Geschichte der Deutschen Demokratischen Partei | 978-3-525-36162-7 | 1997 | |
| 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 | Dieter Hutter |
| Security in Pervasive Computing: First International Conference, Boppard, Germany, March 12-14, 2003, Revised Papers | 978-3-540-20887-7 | 2008 | Dieter Hutter · G??nter M??ller · Markus Ullmann |