Hutter, Stephan books & textbook
Applied Formal Methods - FM-Trends 98: International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998, Proceedings (Lecture Notes in Computer Science, 1641)
Hutter, Dieter Stephan, Werner Traverso, Paolo Ullmann, Markus
Springer /1999-08-25 Paperback / 396 Pages
isbn-10: 3540664629 / isbn-13: 9783540664628
Ausgespielt (Finn-Retsch-Serie) (German Edition)
Independently published /2020-05-04 Paperback / 139 Pages
Gedächtnisschrift für Michael Gruson (German Edition)
Baums, Theodor Hutter, Stephan
De Gruyter /2009-04-20 Hardcover / 496 Pages
isbn-10: 3899495004 / isbn-13: 9783899495003
Algorithmic Learning Theory: 21st International Conference, ALT 2010, Canberra, Australia, October 6-8, 2010. Proceedings (Lecture Notes in Computer Science, 6331)
Hutter, Marcus Stephan, Frank Vovk, Vladimir Zeugmann, Thomas
Springer /2010-09-27 Paperback / 434 Pages
isbn-10: 3642161073 / isbn-13: 9783642161070
Mechanizing Mathematical Reasoning: Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday (Lecture Notes in Computer Science, 2605)
Hutter, Dieter Stephan, Werner
Springer /2005-02-23 Paperback / 580 Pages
isbn-10: 3540250514 / isbn-13: 9783540250517
Security in Pervasive Computing: First International Conference, Boppard, Germany, March 12-14, 2003, Revised Papers (Lecture Notes in Computer Science, 2802)
Hutter, Dieter Müller, Günter Stephan, Werner Ullmann, Markus
Springer /2004-01-26 Paperback / 308 Pages
isbn-10: 3540208879 / isbn-13: 9783540208877
