dieter hutter author - Books - 24x7 online bookstore Bookswagon.ae
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
12 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
AED145
Binding:
Paperback
Release:
22 Dec 2022
Language:
English
International Edition
Ships within 18-20 Days Explain..
2.
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
AED254
Binding:
Paperback
Release:
30 Mar 2005
Language:
English
International Edition
Ships within 12-14 Days Explain..
3.
Mechanizing Mathematical Reasoning
Mechanizing Mathematical Reasoning
By: Werner Stephan, Dieter Hutter
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
AED495
Binding:
Paperback
Release:
23 Feb 2005
Language:
English
International Edition
Ships within 12-14 Days Explain..
4.
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
AED275
Binding:
Hardback
Release:
30 Jun 2005
Language:
English
Available
Ships within 1-2 Days Explain..
5.
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
AED260
Binding:
Paperback
Release:
25 Aug 1999
Language:
English
International Edition
Ships within 12-14 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: 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
9.
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
10.
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
11.
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
12.
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
No more records found