Warehouse Stock Clearance Sale

Grab a bargain today!

  1. Search
  2. All Products
Refine By
Category
Mathematics (14)
Medical (6)
Delivery
All
Free Shipping (14)
Sold By
All Sellers
Fishpond (14)
Age Range
All Ranges
15+ (1)
All Ages (2)
Price
All Prices
Over $80 (14)
to Go
to Go
Discount
Any Discount
0 - 25% (14)
Country
All Countries
Germany (12)
Switzerland (2)
    Results for "Nipkow, Tobias"
    Nipkow, Tobias
    15 results
    Refine By
    Category
    Mathematics (14)
    Medical (6)
    Delivery
    All
    Free Shipping (14)
    Sold By
    All Sellers
    Fishpond (14)
    Age Range
    All Ranges
    15+ (1)
    All Ages (2)
    Price
    All Prices
    Over $80 (14)
    to Go
    to Go
    Discount
    Any Discount
    0 - 25% (14)
    Country
    All Countries
    Germany (12)
    Switzerland (2)
      15 results
      • Bestselling
      • Relevance
      • Price: Lowest
      • In Stock
      Sort By
      View:
      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
      $202
      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
      $211
      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
      $106
      1
      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
      $102
      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
      $102
      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
      $102
      Concrete Semantics (With Isabelle/HOL)
      By Nipkow, Tobias, Klein, Gerwin
      Concrete Semantics (With Isabelle/HOL)
      By Nipkow, Tobias, Klein, Gerwin
      $150
      Concrete Semantics (With Isabelle/Hol)
      By Klein, Gerwin, Nipkow, Tobias
      Concrete Semantics (With Isabelle/Hol)
      By Klein, Gerwin, Nipkow, Tobias
      $104
      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
      $99.97
      Types for Proofs and ­Programs (Third International Workshop, TYPES '99, Leokeberg, Sweden, June 12-16, 1999 : Selected Papers (Lecture Notes in Computer Science))
      By Thierry Coquand, Peter Dybjer, Bengt Nordström, Jan Smith
      Types for Proofs and ­Programs (Third International Workshop, TYPES '99, Leokeberg, Sweden, June 12-16, 1999 : Selected Papers (Lecture Notes in Computer Science))
      By Thierry Coquand, Peter Dybjer, Bengt Nordström, Jan Smith
      $102
      Types for Proofs and ­Programs (International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers (Lecture Notes in Computer Science))
      By Paul Callaghan, Zhaohui Luo, James McKinna, R. Pollack
      Types for Proofs and ­Programs (International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers (Lecture Notes in Computer Science))
      By Paul Callaghan, Zhaohui Luo, James McKinna, R. Pollack
      $99.95
      Automated Deduction - ­Cade-16: 16th International ­Conference on Automated ­Deduction, Trento, Italy, ­July 7-10, 1999, ­Proceedings (16th: Cade-16, International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings (Lecture Notes in)
      By Harald Ganzinger
      Automated Deduction - ­Cade-16: 16th International ­Conference on Automated ­Deduction, Trento, Italy, ­July 7-10, 1999, ­Proceedings (16th: Cade-16, International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings (Lecture Notes in)
      By Harald Ganzinger
      $110
      Types for Proofs and ­Programs (International Workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers (Lecture Notes in Computer Science))
      By Thorsten Altenkirch, Wolfgang Naraschewski, Bernhard Reus
      Types for Proofs and ­Programs (International Workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers (Lecture Notes in Computer Science))
      By Thorsten Altenkirch, Wolfgang Naraschewski, Bernhard Reus
      $102
      Rewriting Techniques and ­Applications (11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000 : Proceedings (Lecture Notes in Computer Science))
      By Leo Bachmair
      Rewriting Techniques and ­Applications (11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000 : Proceedings (Lecture Notes in Computer Science))
      By Leo Bachmair
      $110
      Logical Environments
      By Gerard Huet, Gordon Plotkin
      Logical Environments
      By Gerard Huet, Gordon Plotkin
      Currently
      Unavailable