Buy books written by Dieter Hutter Available at Bookswagon
Logo1
Login & Sign up
AddBanner
Home icon Home
Account Icon Account
Wishlist Icon Wishlist
Cart Icon Cart
humburger icon Categories
Close

Refine your Search

Availability

Shipping Time

Source

Binding

Language

Publication Year

Filter By Category
Dieter Hutter

Dieter Hutter

16 results found
List viewGrid view
Sort By:
1.
Roman Hutter
Roman Hutter
By: Dieter Geissbühler, Heinz Wirz, Roman Hutter
Publisher: Quart Publishers
No Review Yet
AED149
Binding:
Paperback
Release:
22 Dec 2022
Language:
English
International Edition
Ships within 22-24 Days Explain..
2.
Mechanizing Mathematical Reasoning
Mechanizing Mathematical Reasoning
By: Werner Stephan, Dieter Hutter
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
AED462
Binding:
Paperback
Release:
23 Feb 2005
Language:
English
Available
Ships within 14-16 Days Explain..
3.
Security in Pervasive Computing
Security in Pervasive Computing
By: Markus Ullmann, Dieter Hutter
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
AED231
Binding:
Paperback
Release:
30 Mar 2005
Language:
English
Available
Ships within 14-16 Days Explain..
4.
Applied Formal Methods - FM-Trends 98
Applied Formal Methods - FM-Trends 98
By: Werner Stephan, Markus Ullmann, Paolo Traverso, Dieter Hutter
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
AED261
Binding:
Paperback
Release:
25 Aug 1999
Language:
English
International Edition
Ships within 10-12 Days Explain..
5.
Rippling: Meta-Level Guidance for Mathematical Reasoning
Rippling: Meta-Level Guidance for Mathematical Reasoning
By: Alan Bundy, Andrew Ireland, David Basin, Dieter Hutter
Publisher: Cambridge University Press
No Review Yet
AED276
Binding:
Hardback
Release:
30 Jun 2005
Language:
English
Available
Ships within 1-2 Days Explain..
6.
Security in Pervasive Computing
Security in Pervasive Computing
By: Dieter Hutter
Publisher: Springer
No Review Yet
AED218
Binding:
Digital (delivered electronically)
Release:
01 Aug 2006
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
7.
Ecumenical Ventures in Ethics
Ecumenical Ventures in Ethics
By: Theodor Dieter, Reinhard Hutter
Publisher: William B Eerdmans Publishing Co
No Review Yet
AED87
Binding:
Paperback
Release:
01 Nov 1997
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
8.
Security in Pervasive Computing
Security in Pervasive Computing
By: Markus Ullmann, Dieter Hutter
Publisher: Springer
No Review Yet
AED39
Binding:
Paperback
Release:
04 Sep 2008
Out of Stock
Notify me when this book is in stockNotify Me
9.
Mechanizing Mathematical Reasoning
Mechanizing Mathematical Reasoning
By: Werner Stephan, Dieter Hutter
Publisher: Springer
No Review Yet
AED81
Binding:
Paperback
Release:
04 Sep 2008
Out of Stock
Notify me when this book is in stockNotify Me
10.
Security in Pervasive Computing
Security in Pervasive Computing
By: Werner Stephan, Gunter Muller, Dieter Hutter
Publisher: Springer
No Review Yet
AED55
Binding:
Paperback
Release:
15 Jan 2014
Out of Stock
Notify me when this book is in stockNotify Me
11.
Security in Pervasive Computing
Security in Pervasive Computing
By: Werner Stephan, Markus Ullmann, Dieter Hutter, Günter Müller
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
AED212
Binding:
Paperback
Release:
26 Jan 2004
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
12.
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
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
By: Werner Stephan, Markus Ullmann, Dieter Hutter, Paolo Traverse
Publisher: Springer
No Review Yet
AED332
Binding:
Graphic Novel
Release:
01 Jan 1999
Out of Stock
Notify me when this book is in stockNotify Me
13.
Applied Formal Methods - FM-Trends 98
Applied Formal Methods - FM-Trends 98
By: Werner Stephan, Paolo Traverso, Dieter Hutter
Publisher: Springer
No Review Yet
AED33
Binding:
Paperback
Release:
15 Jan 2014
Out of Stock
Notify me when this book is in stockNotify Me
14.
Applied Formal Methods
Applied Formal Methods
By: Werner Stephan, Markus Ullmann, Paolo Traverso, Dieter Hutter
Publisher: Springer
No Review Yet
AED299
Binding:
Digital (delivered electronically)
Release:
01 Oct 2006
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
15.
Rippling: Meta-Level Guidance for Mathematical Reasoning
Rippling: Meta-Level Guidance for Mathematical Reasoning
By: Alan Bundy, Andrew Ireland, David Basin, Dieter Hutter
Publisher: Cambridge University Press
No Review Yet
AED512
Binding:
Digital download and online
Release:
13 Aug 2009
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
16.
Rippling Meta-Level Guidance for Mathematical Reasoning. Cambridge Tracts in Theoretical Computer Science, No. 56
Rippling Meta-Level Guidance for Mathematical Reasoning. Cambridge Tracts in Theoretical Computer Science, No. 56
By: Alan Bundy, Andrew Ireland, David Basin, Dieter Hutter
Publisher: Cambridge University Press
No Review Yet
AED467
Binding:
Undefined
Release:
01 Jan 2005
Out of Stock
Notify me when this book is in stockNotify Me
No more records found
Hello, User