Warehouse Stock Clearance Sale

Grab a bargain today!

  1. Search
  2. All Products
Refine By
Category
General (6)
MacOS (1)
Sold By
All Sellers
Fishpond (7)
Age Range
All Ranges
15+ (2)
Country
All Countries
Germany (6)
    Results for "Calculus Guide"
    Calculus Guide
    10 results
    Refine By
    Category
    General (6)
    MacOS (1)
    Sold By
    All Sellers
    Fishpond (7)
    Age Range
    All Ranges
    15+ (2)
    Country
    All Countries
    Germany (6)
      10 results
      • Bestselling
      • Relevance
      • Price: Lowest
      Sort By
      View:
      Proof in VDM (A Practitioner's Guide (Formal Approaches to Computing and Information Technology (FACIT)))
      By Bicarregui, Juan C., Fitzgerald, John, P.A. Lindsay, R.C. Moore
      Proof in VDM (A Practitioner's Guide (Formal Approaches to Computing and Information Technology (FACIT)))
      By Bicarregui, Juan C., Fitzgerald, John, P.A. Lindsay, R.C. Moore
      HK$500
      Formal Techniques for ­Networked and Distributed ­Systems - Forte 2005 (25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))
      By Farn Wang
      Formal Techniques for ­Networked and Distributed ­Systems - Forte 2005 (25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))
      By Farn Wang
      HK$1,151
      Theory and Applications of ­Satisfiability Testing - ­SAT 2006 (9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))
      By Armin Biere, Carla Gomes
      Theory and Applications of ­Satisfiability Testing - ­SAT 2006 (9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))
      By Armin Biere, Carla Gomes
      HK$540
      Tools and Algorithms for ­the Construction and ­Analysis of Systems: First ­International Workshop, ­Tacas '95, Aarhus, Denmark,­ May 19 - 20, 1995. ­Selected Papers (TACAS '95, Aarhus, Denmark, May 19-20, 1995, Selected Papers: TACAS '95, Aarhus, Denmark, May)
      By Ed. Brinksma, W. Rance Cleaveland, Kim G. Larsen, Tiziana Margaria
      Tools and Algorithms for ­the Construction and ­Analysis of Systems: First ­International Workshop, ­Tacas '95, Aarhus, Denmark,­ May 19 - 20, 1995. ­Selected Papers (TACAS '95, Aarhus, Denmark, May 19-20, 1995, Selected Papers: TACAS '95, Aarhus, Denmark, May)
      By Ed. Brinksma, W. Rance Cleaveland, Kim G. Larsen, Tiziana Margaria
      HK$500
      Automata, Languages and ­Programming: 26th ­International Colloquium, ­Icalp'99, Prague, Czech ­Republic, July 11-15, 1999 ­Proceedings (26th: International Colloquium, ICALP '99, Prague, Czech Republic, July 11-15, 1999, Proceedings (Lecture Notes in Computer)
      By Jiri Wiedermann, Peter van Emde Boas, Mogens Nielsen
      Automata, Languages and ­Programming: 26th ­International Colloquium, ­Icalp'99, Prague, Czech ­Republic, July 11-15, 1999 ­Proceedings (26th: International Colloquium, ICALP '99, Prague, Czech Republic, July 11-15, 1999, Proceedings (Lecture Notes in Computer)
      By Jiri Wiedermann, Peter van Emde Boas, Mogens Nielsen
      HK$1,033
      Formal Methods for Open ­Object-Based Distributed ­Systems (10th Ifip Wg 6.1 International Conference, Fmoods 2008, Oslo, Norway, June 4-6, 2008 Proceed)
      By Gilles Barthe, Frank S. de Boer
      Formal Methods for Open ­Object-Based Distributed ­Systems (10th Ifip Wg 6.1 International Conference, Fmoods 2008, Oslo, Norway, June 4-6, 2008 Proceed)
      By Gilles Barthe, Frank S. de Boer
      HK$500
      App Development Using iOS ­iCloud (Build High-Performance Apps with Swift)
      By Shantanu Baruah, Shaurya Baruah
      App Development Using iOS ­iCloud (Build High-Performance Apps with Swift)
      By Shantanu Baruah, Shaurya Baruah
      HK$391 Elsewhere HK$514.68 Save HK$123.68 (24%)
      PSPICE For Windows Volume ­2 (Operational Amplifiers and Digital Circuits)
      By Roy W. Goody
      PSPICE For Windows Volume ­2 (Operational Amplifiers and Digital Circuits)
      By Roy W. Goody
      Currently
      Unavailable
      App Development Using IOS ­Icloud (Incorporating Cloudkit with Swift in Xcode)
      By Baruah, Shaurya, Baruah, Shantanu
      App Development Using IOS ­Icloud (Incorporating Cloudkit with Swift in Xcode)
      By Baruah, Shaurya, Baruah, Shantanu
      Currently
      Unavailable
      Computer Arithmetic and ­Validity (Theory, Implementation, and Applications (De Gruyter Studies in Mathematics))
      By Ulrich W. Kulisch
      Computer Arithmetic and ­Validity (Theory, Implementation, and Applications (De Gruyter Studies in Mathematics))
      By Ulrich W. Kulisch
      Currently
      Unavailable