Humburger Icon
Let's Explore, Bibiliophile
  • Account Icon
  • Wishlist Icon
  • Cart Icon

    Cart Overview

    Show All
    Your cart is empty
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

19 results found
List viewGrid view
Sort By:
1.
Rippling: Meta-Level Guidance for Mathematical ReasoningNR
Rippling: Meta-Level Guidance for Mathematical Reasoning
By: Alan Bundy, Andrew Ireland, David Basin, Dieter Hutter
Publisher: Cambridge University Press
No Review Yet
₹14,186
Binding:
Hardback
Release:
30 Jun 2005
Language:
English
International Edition
Ships within 10-12 Days Explain..
Free Shipping in India and low cost Worldwide.
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,724
₹3,663
Binding:
Paperback
Release:
30 Mar 2005
Language:
English
Available
Ships within 14-16 Days Explain..
3.
Mechanizing Mathematical Reasoning37 %
Mechanizing Mathematical Reasoning
By: Werner Stephan, Dieter Hutter
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
₹11,449
₹7,213
Binding:
Paperback
Release:
23 Feb 2005
Language:
English
Available
Ships within 14-16 Days Explain..
4.
Roman Hutter32 % NR
Roman Hutter
By: Dieter Geissbühler, Heinz Wirz, Roman Hutter
Publisher: Quart Publishers
No Review Yet
₹4,561
₹3,101
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,768
Binding:
Paperback
Release:
25 Aug 1999
Language:
English
International Edition
Ships within 10-12 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.
Mechanizing Mathematical Reasoning
Mechanizing Mathematical Reasoning
By: Dieter Hutter
Publisher: Springer Verlag Berlin Heidelberg
No Review Yet
₹0
Binding:
Digital (delivered electronically)
Release:
01 Jan 2005
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
8.
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
9.
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
10.
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
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
₹2,201
Binding:
Paperback
Release:
15 Jan 2014
Out of Stock
Notify me when this book is in stockNotify Me
12.
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
13.
Applied Formal Methods - FM-Trends 98
Applied Formal Methods - FM-Trends 98
By: Werner Stephan, Markus Ullmann, Dieter Hutter
Publisher: Springer
No Review Yet
₹0
Binding:
Digital (delivered electronically)
Release:
01 Jan 1999
Out of Stock
Notify me when this book is in stockNotify Me
14.
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
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.
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
17.
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
18.
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
₹0
Binding:
Digital download and online
Release:
01 Sep 2005
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
19.
Security in Pervasive Computing8 % NR
Security in Pervasive Computing
By: Werner Stephan, Markus Ullmann, Dieter Hutter, Günter Müller
No Review Yet
₹5,422
₹4,988
Binding:
Paperback
Release:
01 Jan 1900
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
No more records found
ASK VIDYA