Warehouse Stock Clearance Sale

Grab a bargain today!

  1. Search
  2. All Products
Refine By
Category
Computers (10)
Science (9)
Professional & Vocational (2)
Nonfiction (1)
Sold By
All Sellers
Fishpond (11)
Format
All Formats
Paperback (10)
Hardback (1)
    Results for "Nipkow, Tobias"
    Nipkow, Tobias
    11 results
    Refine By
    Category
    Computers (10)
    Science (9)
    Professional & Vocational (2)
    Nonfiction (1)
    Sold By
    All Sellers
    Fishpond (11)
    Format
    All Formats
    Paperback (10)
    Hardback (1)
      11 results
      • Bestselling
      • Relevance
      • Price: Lowest
      Sort By
      View:
      Term Rewriting and All ­That
      By Franz Baader, Tobias Nipkow
      Term Rewriting and All ­That
      By Franz Baader, Tobias Nipkow
      £45.09 Elsewhere £50.99 Save £5.90 (12%)
      1
      Concrete Semantics (With Isabelle/Hol)
      By Klein, Gerwin, Nipkow, Tobias
      Concrete Semantics (With Isabelle/Hol)
      By Klein, Gerwin, Nipkow, Tobias
      £44.77
      Isabelle/HOL (A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Science))
      By Nipkow, Tobias, Paulson, Lawrence C., Markus Wenzel
      Isabelle/HOL (A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Science))
      By Nipkow, Tobias, Paulson, Lawrence C., Markus Wenzel
      £53.44
      1
      FM 2006, Formal Methods (14th International Symposium on Formal Methodshamilton, Canada, August 21-27, 2006 Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))
      By Jayadev Misra, Tobias Nipkow, Emil Sekerinski
      FM 2006, Formal Methods (14th International Symposium on Formal Methodshamilton, Canada, August 21-27, 2006 Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))
      By Jayadev Misra, Tobias Nipkow, Emil Sekerinski
      £93.21
      Automated Reasoning (First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings (Lecture Notes in Artificial Intelligence) (Lecture Notes in Computer Science))
      By Rajeev Gore, Alexander Leitsch, Tobias Nipkow
      Automated Reasoning (First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings (Lecture Notes in Artificial Intelligence) (Lecture Notes in Computer Science))
      By Rajeev Gore, Alexander Leitsch, Tobias Nipkow
      £89.49
      Types for Proofs and ­Programs (International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected Papers (Lecture Notes in Computer Science))
      By Henk Barendregt, Tobias Nipkow
      Types for Proofs and ­Programs (International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected Papers (Lecture Notes in Computer Science))
      By Henk Barendregt, Tobias Nipkow
      £44.99
      Higher-Order Algebra, Logic ­and Term Rewriting (First International Workshop, Hoa '93, Amsterdam, the Netherlands, September 23 - 24, 1993, Selected Papers (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))
      By Jan Heering, Karl Meinke, Bernhard Möller, Tobias Nipkow
      Higher-Order Algebra, Logic ­and Term Rewriting (First International Workshop, Hoa '93, Amsterdam, the Netherlands, September 23 - 24, 1993, Selected Papers (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))
      By Jan Heering, Karl Meinke, Bernhard Möller, Tobias Nipkow
      £45.03
      Rewriting Techniques and ­Applications (9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))
      By Tobias Nipkow
      Rewriting Techniques and ­Applications (9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))
      By Tobias Nipkow
      £45.03
      Theorem Proving in Higher ­Order Logics (22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))
      By Stefan Berghofer, Tobias Nipkow, Christian Urban, Makarius Wenzel
      Theorem Proving in Higher ­Order Logics (22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))
      By Stefan Berghofer, Tobias Nipkow, Christian Urban, Makarius Wenzel
      £45.11
      Concrete Semantics (With Isabelle/HOL)
      By Nipkow, Tobias, Klein, Gerwin
      Concrete Semantics (With Isabelle/HOL)
      By Nipkow, Tobias, Klein, Gerwin
      £76.38
      Automated Reasoning
      By Rajeev Gore, Alexander Leitsch, Tobias Nipkow
      Automated Reasoning
      By Rajeev Gore, Alexander Leitsch, Tobias Nipkow
      £44.82
      We use essential and some optional cookies to provide you the best shopping experience. Visit our cookies policy page for more information.