|
Login | Sign Up | Settings | Sell Books | Wish List |
Searching ... |
0 % | |||
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 |
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 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 |
Ecumenical Ventures in Ethics(1st Edition) Protestants Engage Pope John Paul II's Moral Encyclicals by Reinhard Hutter, Theodor Dieter Paperback, 304 Pages, Published 1997 by Wm. B. Eerdmans Publishing Company ISBN-13: 978-0-8028-4261-9, ISBN: 0-8028-4261-5 |
Security in Pervasive Computing(2005th Edition) 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 |
[(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 |
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 |
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 |
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 |
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 |
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 |
Mögliche Maßnahmen, Instrumente und Wirkungen einer Steuerung der Verkehrs- und Siedlungsflächennutzung(Reprint) by Eckhard Bergmann, Kilian Bizer, Dieter Ewringmann, Fabian Dosch, Klaus Einig, Gerard Hutter, J. Ochtrop, K. Meyenschein, T. Moller Paperback, 141 Pages, Published 1998 by Springer ISBN-13: 978-3-662-08817-3, ISBN: 3-662-08817-7 |
Namenstag feiern Hutter, Elfriede; Funiok, Rüdiger; Draf, Dieter(1st Edition) by Rüdiger Funiok, Dieter Hutter Draf, Elfriede Hutter Hardcover, 152 Pages, Published 1987 by Innsbruck ; Wien : Tyrolia-Verl., ISBN-13: 978-3-7022-1635-1, ISBN: 3-7022-1635-9 |
Roman Hutter(Bilingual) by Geissbühler, Dieter, Hutter, Roman, Wirz, Heinz Paperback, 96 Pages, Published 2023 by Quart Architektur ISBN-13: 978-3-03761-259-0, ISBN: 3-03761-259-2 |
Dieter Hutter