Humburger Icon
Logo1
Login & Sign up
Bookswagon-24x7 online bookstore
AddBanner
Home icon Home
Account Icon Account
Wishlist Icon Wishlist
Cart Icon Cart
Bookswagon icon Categories
Close

Refine your Search

By Price

Availability

Shipping Time

Source

Binding

Language

Publication Year

Filter By Category
Tobias Nipkow

Tobias Nipkow

14 results found
List viewGrid view
Sort By:
1.
Rewriting Techniques and Applications36 %
Rewriting Techniques and Applications
By: Tobias Nipkow
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
₹5,307
₹3,396
Binding:
Paperback
Release:
11 Mar 1998
Language:
English
Available
Ships within 12-14 Days Explain..
2.
Concrete Semantics36 %
Concrete Semantics
By: Tobias Nipkow, Gerwin Klein
Publisher: Springer International Publishing AG
No Review Yet
₹5,307
₹3,396
Binding:
Paperback
Release:
10 Sep 2016
Language:
English
Available
Ships within 12-14 Days Explain..
3.
Concrete Semantics37 %
Concrete Semantics
By: Tobias Nipkow, Gerwin Klein
Publisher: Springer International Publishing AG
No Review Yet
₹7,961
₹5,015
Binding:
Hardback
Release:
15 Dec 2014
Language:
English
Available
Ships within 12-14 Days Explain..
4.
Theorem Proving in Higher Order Logics36 %
Theorem Proving in Higher Order Logics
By: Stefan Berghofer, Tobias Nipkow, Makarius Wenzel, Christian Urban
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
₹5,307
₹3,396
Binding:
Paperback
Release:
04 Aug 2009
Language:
English
Available
Ships within 12-14 Days Explain..
5.
Automated Reasoning37 %
Automated Reasoning
By: Rajeev Gore, Alexander Leitsch, Tobias Nipkow
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
₹10,615
₹6,687
Binding:
Paperback
Release:
06 Jun 2001
Language:
English
Available
Ships within 12-14 Days Explain..
6.
FM 2006: Formal Methods59 %
FM 2006: Formal Methods
By: Jayadev Misra, Emil Sekerinski, Tobias Nipkow
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
₹10,615
₹4,352
Binding:
Paperback
Release:
10 Aug 2006
Language:
English
Available
Ships within 1-2 Days Explain..
7.
Automated ReasoningNR
Automated Reasoning
By: Nipkow Tobias Nipkow, Leitsch Alexander Leitsch, Gore Rajeev Gore
Publisher: Springer Nature B.V.
No Review Yet
₹4,895
Binding:
Paperback
Release:
12 Mar 2014
Language:
English
International Edition
Ships within 12-14 Days Explain..
Free Shipping in India and low cost Worldwide.
8.
Types for Proofs and ProgramsNR
Types for Proofs and Programs
By: Tobias Nipkow, Henk Barendregt
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
₹5,313
Binding:
Paperback
Release:
20 May 1994
Language:
English
International Edition
Ships within 12-14 Days Explain..
Free Shipping in India and low cost Worldwide.
9.
Isabelle/HOLNR
Isabelle/HOL
By: Lawrence C. Paulson, Tobias Nipkow, Markus Wenzel
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
₹5,686
Binding:
Paperback
Release:
03 Apr 2002
Language:
English
International Edition
Ships within 12-14 Days Explain..
Free Shipping in India and low cost Worldwide.
10.
Term Rewriting and All That2 % NR
Term Rewriting and All That
By: Franz Baader, Tobias Nipkow
Publisher: Cambridge University Press
No Review Yet
₹6,408
₹6,280
Binding:
Paperback
Release:
05 Aug 1999
Language:
English
International Edition
Ships within 12-14 Days Explain..
Free Shipping in India and low cost Worldwide.
11.
Higher-Order Algebra, Logic, and Term RewritingNR
Higher-Order Algebra, Logic, and Term Rewriting
By: Jan Heering, Karl Meinke, Tobias Nipkow, Bernhard Möller
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
₹5,301
Binding:
Paperback
Release:
28 Jul 1994
Language:
English
International Edition
Ships within 12-14 Days Explain..
Free Shipping in India and low cost Worldwide.
12.
Term Rewriting and All That2 % NR
Term Rewriting and All That
By: Franz Baader, Tobias Nipkow
Publisher: Cambridge University Press
No Review Yet
₹15,480
₹15,211
Binding:
Digital download and online
Release:
05 Jun 2012
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
13.
Software Safety and Security1 % NR
Software Safety and Security
By: Orna Grumberg, Tobias Nipkow
Publisher: IOS Press
No Review Yet
₹10,925
₹10,779
Binding:
Hardback
Release:
15 May 2012
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
14.
Term Rewriting and All That4 % NR
Term Rewriting and All That
By: Franz Baader, Tobias Nipkow
Publisher: Cambridge University Press
No Review Yet
₹4,988
₹4,793
Binding:
Hardback
Release:
05 Mar 1998
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
No more records found
ASK VIDYA