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
AED153
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
AED506
Binding:
Paperback
Release:
23 Feb 2005
Language:
English
Available
Ships within 12-14 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
AED253
Binding:
Paperback
Release:
30 Mar 2005
Language:
English
Available
Ships within 12-14 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
AED268
Binding:
Paperback
Release:
25 Aug 1999
Language:
English
International Edition
Ships within 16-18 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
AED284
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
AED239
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
AED95
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
AED42
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
AED88
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
AED60
Binding:
Paperback
Release:
15 Jan 2014
Out of Stock
Notify me when this book is in stockNotify Me
11.
Applied Formal Methods - FM-Trends 98
Applied Formal Methods - FM-Trends 98
By: Werner Stephan, Paolo Traverso, Dieter Hutter
Publisher: Springer
No Review Yet
AED36
Binding:
Paperback
Release:
15 Jan 2014
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
AED364
Binding:
Graphic Novel
Release:
01 Jan 1999
Out of Stock
Notify me when this book is in stockNotify Me
13.
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
AED232
Binding:
Paperback
Release:
26 Jan 2004
Language:
English
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
AED328
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. 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
AED511
Binding:
Undefined
Release:
01 Jan 2005
Out of Stock
Notify me when this book is in stockNotify Me
16.
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
AED561
Binding:
Digital download and online
Release:
13 Aug 2009
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
No more records found