Humburger Icon
Logo1
close menu
Bookswagon-24x7 online bookstore
close menu
My Account
Home icon Home
Account Icon Account
Wishlist Icon Wishlist
Cart Icon Cart
Bookswagon icon Menu
Close

Refine your Search

By Price

Availability

Shipping Time

Source

Binding

Language

Publication Year

Filter By Category
Dieter Hutter

Dieter Hutter

16 results found
List viewGrid view
Sort By:
1.
Mechanizing Mathematical Reasoning37 %
Mechanizing Mathematical Reasoning
By: Werner Stephan, Dieter Hutter
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
₹10,949
₹6,898
Binding:
Paperback
Release:
23 Feb 2005
Language:
English
Available
Ships within 22-24 Days Explain..
2.
Security in Pervasive Computing36 %
Security in Pervasive Computing
By: Markus Ullmann, Dieter Hutter
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
₹5,474
₹3,503
Binding:
Paperback
Release:
30 Mar 2005
Language:
English
Available
Ships within 22-24 Days Explain..
3.
Rippling: Meta-Level Guidance for Mathematical Reasoning64 %
Rippling: Meta-Level Guidance for Mathematical Reasoning
By: Alan Bundy, Andrew Ireland, David Basin, Dieter Hutter
Publisher: Cambridge University Press
No Review Yet
₹13,640
₹4,910
Binding:
Hardback
Release:
30 Jun 2005
Language:
English
Available
Ships within 1-2 Days Explain..
4.
Roman Hutter31 % NR
Roman Hutter
By: Dieter Geissbühler, Heinz Wirz, Roman Hutter
Publisher: Quart Publishers
No Review Yet
₹4,264
₹2,942
Binding:
Paperback
Release:
22 Dec 2022
Language:
English
International Edition
Ships within 16-18 Days Explain..
Free Shipping in India and low cost Worldwide.
5.
Applied Formal Methods - FM-Trends 98POD/NR
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
₹5,395
Binding:
Paperback
Release:
25 Aug 1999
Language:
English
International Edition
Ships within 16-18 Days Explain..
Free Shipping in India and low cost Worldwide.
Print On Demand
Print On Demand (POD) titles : are those which have been especially printed by the Publisher / Vendor partner only after an order for them has been received. They are also classified as Non-Returnable.
Non-Returnable titles : are those which have been classified as Non-Returnable under any circumstance by International Publishers / Vendor partners.
6.
Security in Pervasive Computing
Security in Pervasive Computing
By: Dieter Hutter
Publisher: Springer
No Review Yet
₹5,012
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
₹1,983
Binding:
Paperback
Release:
01 Nov 1997
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
8.
Mechanizing Mathematical Reasoning
Mechanizing Mathematical Reasoning
By: Werner Stephan, Dieter Hutter
Publisher: Springer
No Review Yet
₹2,201
Binding:
Paperback
Release:
04 Sep 2008
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
9.
Security in Pervasive Computing
Security in Pervasive Computing
By: Markus Ullmann, Dieter Hutter
Publisher: Springer
No Review Yet
₹2,201
Binding:
Paperback
Release:
04 Sep 2008
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
10.
Applied Formal Methods - FM-Trends 98
Applied Formal Methods - FM-Trends 98
By: Werner Stephan, Paolo Traverso, Dieter Hutter
Publisher: Springer
No Review Yet
₹2,201
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, Gunter Muller, Dieter Hutter
Publisher: Springer
No Review Yet
₹2,201
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
₹7,636
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
₹4,855
Binding:
Paperback
Release:
26 Jan 2004
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
14.
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
₹10,714
Binding:
Undefined
Release:
01 Jan 2005
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
₹12,305
Binding:
Digital download and online
Release:
13 Aug 2009
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
16.
Applied Formal Methods
Applied Formal Methods
By: Werner Stephan, Markus Ullmann, Paolo Traverso, Dieter Hutter
Publisher: Springer
No Review Yet
₹6,880
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
ASK VIDYA