|
Login | Sign Up | Settings | Sell Books | Wish List |
Searching ... |
0 % | |||
Only Books by Dieter Hutter | X |
Long-Term and Dynamical Aspects of Information Security by Rafael Accorsi, Matthias Hollick, Dieter Hutter, Takaaki Yamada, Mathias Maier, Isao Echizen, E. Damiani, Hiroshi Yoshiura, V. Bellandi, Satoru Tezuka, C. A. Ardagna, Sebastian Hohn, M. Anisetti, Ralf Steinmetz, Martin Kã¤Hmer, Andre Kã¶Nig, Michael Kreutzer, Andreas U. Schmidt, Andre König Hardcover, 180 Pages, Published 2007 by Nova Science Publishers, Inc. ISBN-13: 978-1-60021-912-2, ISBN: 1-60021-912-8 |
Rippling(1st Edition) Meta-Level Guidance for Mathematical Reasoning (Cambridge Tracts in Theoretical Computer Science) by Alan Bundy, David Basin, Dieter Hutter, Andrew Ireland Hardcover, 216 Pages, Published 2005 by Cambridge University Press ISBN-13: 978-0-521-83449-0, ISBN: 0-521-83449-X |
Rippling Meta-Level Guidance for Mathematical Reasoning. Cambridge Tracts in Theoretical Computer Science, No. 56 by Alan Bundy, Dieter Hutter, David Basin, Andrew Ireland Published 2005 ISBN-13: 978-1-280-45868-2, ISBN: 1-280-45868-2 |
Cambridge Tracts in Theoretical Computer Science Ser. Rippling : Meta-Level Guidance for Mathematical Reasoning by Alan Bundy, Dieter Hutter, David Basin, Andrew Ireland Published 2005 ISBN-13: 978-0-511-11185-3, ISBN: 0-511-11185-1 |
Cambridge Tracts in Theoretical Computer Science Ser. Rippling : Meta-Level Guidance for Mathematical Reasoning by Alan Bundy, Dieter Hutter, David Basin, Andrew Ireland Published 2005 ISBN-13: 978-0-511-11287-4, ISBN: 0-511-11287-4 |
Haftung der Gemeinde bei Hochwasserschäden (Paperback) by Dieter Hutter Paperback, 98 Pages, Published 2017 by Manz'sche Verlags- U. Universitätsbuchhandlung, Austria ISBN-13: 978-3-214-08645-9, ISBN: 3-214-08645-6 |
Security in Pervasive Computing by Dieter Hutter, Gunter Muller, Werner Stephan 308 Pages, Published 2014 ISBN-13: 978-3-662-17313-8, ISBN: 3-662-17313-1 |
Security in Pervasive Computing Second International Conference, SPC 2005, Boppard, Germany, April 6-8, 2005, Proceedings by Dieter Hutter, Markus Ullmann 239 Pages, Published 2006 by Springer ISBN-13: 978-3-540-32004-3, ISBN: 3-540-32004-0 |
Lecture Notes in Computer Science Ser. Mechanizing Mathematical Reasoning : Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday by Dieter Hutter, Werner Stephan 570 Pages, Published 2006 by Springer ISBN-13: 978-3-540-32254-2, ISBN: 3-540-32254-X |
Lecture Notes in Computer Science Ser.(1st Edition) Applied Formal Methods : Fm-Trends 98: International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9 1998: Proceedings 1641 by Dieter Hutter, Werner Stephan, Paolo Traverso, Markus Ullmann Digital, 384 Pages, Published 2007 by Springer ISBN-13: 978-3-540-48257-4, ISBN: 3-540-48257-1 |
Verhandlungstechnik bei steuerlichen Betriebsprüfungen. Verhandeln im Dienste der Betriebsprüfung. by Ernst Schmäche, Dieter Hutter Paperback, 126 Pages, Published 1994 by Erich Schmidt Verlag ISBN-13: 978-3-503-03494-9, ISBN: 3-503-03494-3 |
Security in Pervasive Computing by Dieter Hutter Paperback ISBN-13: 978-3-540-80974-6, ISBN: 3-540-80974-0 |
Security in Pervasive Computing Second International Conference, SPC 2005, Boppard, Germany, April 6-8, 2005, Proceedings (Lecture Notes in Computer Science / Security and Cryptology) by Dieter Hutter, Markus Hutter Ullmann, Markus Ullmann Paperback, 239 Pages, Published 2008 by Springer ISBN-13: 978-3-540-25521-5, ISBN: 3-540-25521-4 |
Mechanizing Mathematical Reasoning Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence) by Dieter Hutter, Werner Hutter Stephan, Werner Stephan, Jörg H. Siekmann, Eds Werner Stephan Paperback, 570 Pages, Published 2005 by Springer ISBN-13: 978-3-540-25051-7, ISBN: 3-540-25051-4 |
Security in Pervasive Computing First International Conference, Boppard, Germany, March 12-14, 2003, Revised Papers (Lecture Notes in Computer Science) by Dieter Hutter, Werner Hutter Stephan, Markus Ullmann, Günter Müller, Gnter Mller, ɬºnter, Guenter Mueller Paperback, 296 Pages, Published 2004 by Springer ISBN-13: 978-3-540-20887-7, ISBN: 3-540-20887-9 |
Mechanizing Mathematical Reasoning by Dieter Hutter Paperback ISBN-13: 978-3-540-80814-5, ISBN: 3-540-80814-0 |
[(Applied Formal Methods - FM-Trends '98: International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998, Proceedings )] [Author: Dieter Hutter] [Oct-1999] by Dieter Hutter, Werner Stephan, Paolo Traverso, Markus Ullmann Paperback, 384 Pages, Published 1999 by Springer ISBN-13: 978-3-540-66462-8, ISBN: 3-540-66462-9 |
Applied Formal Methods FM-Trends 98 by Dieter Hutter Ebook ISBN-13: , ISBN: |
Dieter Hutter