Warehouse Stock Clearance Sale

Grab a bargain today!

  1. Search
  2. All Products
Sold By
All Sellers
Fishpond (1,024)
Age Range
All Ranges
15+ (59)
All Ages (25)
Country
All Countries
United States (279)
Germany (225)
Switzerland (144)
United Kingdom (122)
Netherlands (52)
More...
    Results for "D A"
    D A
    1,346 results
    Sold By
    All Sellers
    Fishpond (1,024)
    Age Range
    All Ranges
    15+ (59)
    All Ages (25)
    Country
    All Countries
    United States (279)
    Germany (225)
    Switzerland (144)
    United Kingdom (122)
    Netherlands (52)
    More...
      Related Searches: 
      a. d. davies     d a carson     d a payne     a d t     a d saunders     a.d. hopkins     d a levy     a d ansell
      1,346 results
      • Bestselling
      • Relevance
      • Price: Lowest
      Sort By
      View:
      Verification, Model ­Checking, and Abstract ­Interpretation (4th International Conference, Vmcai 2003, New York, NY, USA, January 9-11, 2003, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))
      By Lenore D. Zuck, Paul D. Attie, Agostino Cortesi, Supratik Mukhopadhyay
      Verification, Model ­Checking, and Abstract ­Interpretation (4th International Conference, Vmcai 2003, New York, NY, USA, January 9-11, 2003, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))
      By Lenore D. Zuck, Paul D. Attie, Agostino Cortesi, Supratik Mukhopadhyay
      HK$600
      Foundations of Software ­Science and Computational ­Structures (6th International Conference, FOSSACS 2003 Held as Part of the Joint European Conference on Theory and Practice of Software , ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings (Lecture)
      By Andrew D. Gordon
      Foundations of Software ­Science and Computational ­Structures (6th International Conference, FOSSACS 2003 Held as Part of the Joint European Conference on Theory and Practice of Software , ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings (Lecture)
      By Andrew D. Gordon
      HK$640
      Logics of Programs (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)
      By D. Kozen
      Logics of Programs (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)
      By D. Kozen
      HK$500
      Logics of Programs (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)
      By E. Clarke, D. Kozen
      Logics of Programs (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)
      By E. Clarke, D. Kozen
      HK$697
      Programs as Data Objects (Proceedings of a Workshop, Copenhagen, Denmark, October 17 - 19, 1985 (Lecture Notes in Computer Science))
      By Harald Ganzinger, Neil D Jones
      Programs as Data Objects (Proceedings of a Workshop, Copenhagen, Denmark, October 17 - 19, 1985 (Lecture Notes in Computer Science))
      By Harald Ganzinger, Neil D Jones
      HK$394
      From Logic Design to Logic­ Programming (Theorem Proving Techniques and P-Functions (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))
      By D. Snyers, Andre Thayse
      From Logic Design to Logic­ Programming (Theorem Proving Techniques and P-Functions (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))
      By D. Snyers, Andre Thayse
      HK$476
      CASL User Manual (Introduction to Using the Common Algebraic Specification Language (Lecture Notes in Computer Science))
      By Mosses, Peter D., Bidoit, Michel
      CASL User Manual (Introduction to Using the Common Algebraic Specification Language (Lecture Notes in Computer Science))
      By Mosses, Peter D., Bidoit, Michel
      HK$500
      CASL Reference Manual (The Complete Documentation of the Common Algebraic Specification Language (Lecture Notes in Computer Science))
      By Peter D. Mosses
      CASL Reference Manual (The Complete Documentation of the Common Algebraic Specification Language (Lecture Notes in Computer Science))
      By Peter D. Mosses
      HK$976
      Recent Trends in Algebraic ­Development Techniques (17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))
      By Jose Luiz Fiadeiro, Peter D. Mosses, Fernando Orejas
      Recent Trends in Algebraic ­Development Techniques (17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))
      By Jose Luiz Fiadeiro, Peter D. Mosses, Fernando Orejas
      HK$580
      Tools and Algorithms for ­the Construction and ­Analysis of Systems (11th International Conference, Tacas 2005, Held as Part of the Joint European Conference on Theory and Practice of Software, Etaps 2005, Edinburgh, UK, April 4-8, 2004, Proceedings (Lectur)
      By Nicolas Halbwachs, Lenore D. Zuck
      Tools and Algorithms for ­the Construction and ­Analysis of Systems (11th International Conference, Tacas 2005, Held as Part of the Joint European Conference on Theory and Practice of Software, Etaps 2005, Edinburgh, UK, April 4-8, 2004, Proceedings (Lectur)
      By Nicolas Halbwachs, Lenore D. Zuck
      HK$1,151
      Interactive Systems, Design,­ Specification, and ­Verification (12th International Workshop, DSVIS 2005, Newcastle Upon Tyne, UK, July 13-15, 2005, Revised Papers (Lecture Notes in Computer Science / Programming and Software Engineering))
      By Stephen W. Gilroy, Michael D. Harrison
      Interactive Systems, Design,­ Specification, and ­Verification (12th International Workshop, DSVIS 2005, Newcastle Upon Tyne, UK, July 13-15, 2005, Revised Papers (Lecture Notes in Computer Science / Programming and Software Engineering))
      By Stephen W. Gilroy, Michael D. Harrison
      HK$580
      Embedded Computer Systems (Architectures, Modeling, and Simulation: 6th International Workshop, SAMOS 2006, Samos, Greece, July 17-20, 2006, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))
      By Stamatis Vassiliadis, Stephan Wong, Timo D. Hamalainen
      Embedded Computer Systems (Architectures, Modeling, and Simulation: 6th International Workshop, SAMOS 2006, Samos, Greece, July 17-20, 2006, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))
      By Stamatis Vassiliadis, Stephan Wong, Timo D. Hamalainen
      HK$560
      Cryptographic Hardware and ­Embedded Systems -- CHES ­2003 (5th International Workshop, Cologne, Germany, September 8-10, 2003, Proceedings (Lecture Notes in Computer Science))
      By Colin D. Walter, Cetin K. Koc, Christof Paar
      Cryptographic Hardware and ­Embedded Systems -- CHES ­2003 (5th International Workshop, Cologne, Germany, September 8-10, 2003, Proceedings (Lecture Notes in Computer Science))
      By Colin D. Walter, Cetin K. Koc, Christof Paar
      HK$640
      Hybrid Systems - ­Computation and Control (4th International Workshop, HSCC 2001 Rome, Italy, March 28-30, 2001 Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))
      By Maria D.Di Benedetto, Alberto L. Sangiovanni-Vincentelli
      Hybrid Systems - ­Computation and Control (4th International Workshop, HSCC 2001 Rome, Italy, March 28-30, 2001 Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))
      By Maria D.Di Benedetto, Alberto L. Sangiovanni-Vincentelli
      HK$1,100
      ESOP '90 (3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990, Proceedings (Lecture Notes in Computer Science))
      By Neil D. Jones
      ESOP '90 (3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990, Proceedings (Lecture Notes in Computer Science))
      By Neil D. Jones
      HK$640
      Prospects for Functional ­Programming in Software ­Engineering (Research Reports ESPRIT)
      By Jean Pierre Banatre, S.B. Jones, D. le Metayer
      Prospects for Functional ­Programming in Software ­Engineering (Research Reports ESPRIT)
      By Jean Pierre Banatre, S.B. Jones, D. le Metayer
      HK$552
      The Programming and Proof ­System ATES (Advanced Techniques Integration into Efficient Scientific Software (Research reports ESPRIT: project 1158))
      By Armand Puccetti, D. Brocard, P. Gagert, P. Gribomont
      The Programming and Proof ­System ATES (Advanced Techniques Integration into Efficient Scientific Software (Research reports ESPRIT: project 1158))
      By Armand Puccetti, D. Brocard, P. Gagert, P. Gribomont
      HK$954
      Mathematical Foundations of ­Programming Semantics (7th International Conference, Pittsburgh, PA, USA, March 25-28, 1991 - Proceedings (Lecture Notes in Computer Science))
      By Stephen Brookes, Michael Main, Austin Melton, D. Schmidt
      Mathematical Foundations of ­Programming Semantics (7th International Conference, Pittsburgh, PA, USA, March 25-28, 1991 - Proceedings (Lecture Notes in Computer Science))
      By Stephen Brookes, Michael Main, Austin Melton, D. Schmidt
      HK$555
      Logic, Language and ­Computation (Festschrift in Honor of Satoru Takasu (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))
      By Neil D. Jones, Masami Hagiya, Masahiko Sato
      Logic, Language and ­Computation (Festschrift in Honor of Satoru Takasu (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))
      By Neil D. Jones, Masami Hagiya, Masahiko Sato
      HK$500
      Parallel Algorithms for ­Irregularly Structured ­Problems: Second ­International Workshop, ­Irregular '95, Lyon, ­France, September 4 - 6, ­1995. Proceedings (2nd: International Workshop, IRREGULAR '95, Lyon, France, September 4-6, 1995 - Proceedings (Lecture N)
      By Alfonso Ferreira, Jose D. P. Rolim
      Parallel Algorithms for ­Irregularly Structured ­Problems: Second ­International Workshop, ­Irregular '95, Lyon, ­France, September 4 - 6, ­1995. Proceedings (2nd: International Workshop, IRREGULAR '95, Lyon, France, September 4-6, 1995 - Proceedings (Lecture N)
      By Alfonso Ferreira, Jose D. P. Rolim
      HK$640
      Verification, Model ­Checking, and Abstract ­Interpretation (10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))
      By Neil D. Jones, Markus Muller-Olm
      Verification, Model ­Checking, and Abstract ­Interpretation (10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))
      By Neil D. Jones, Markus Muller-Olm
      HK$535
      Wideband CMOS Receivers (SpringerBriefs in Electrical and Computer Engineering)
      By Miguel D. Fernandes, Luis B. Oliveira
      Wideband CMOS Receivers (SpringerBriefs in Electrical and Computer Engineering)
      By Miguel D. Fernandes, Luis B. Oliveira
      HK$485
      Understanding Agent Systems ­ (Springer Series on Agent Technology)
      By Luck, Michael, d¿Inverno, Mark
      Understanding Agent Systems ­ (Springer Series on Agent Technology)
      By Luck, Michael, d¿Inverno, Mark
      HK$900
      Handbook of Logic in ­Artificial Intelligence and ­Logic Programming (Volume 2: Deduction Methodologies (Handbook of Logic in Artificial Intelligence and Logic Programming))
      By Gabbay, Dov M. (Professor of Computing, Professor of Computing, , Hogger, C. J. (Department of Computing, Department of Computing,, J. A. Robinson, J. Siekmann
      Handbook of Logic in ­Artificial Intelligence and ­Logic Programming (Volume 2: Deduction Methodologies (Handbook of Logic in Artificial Intelligence and Logic Programming))
      By Gabbay, Dov M. (Professor of Computing, Professor of Computing, , Hogger, C. J. (Department of Computing, Department of Computing,, J. A. Robinson, J. Siekmann
      HK$2,640 Elsewhere HK$4,015.98 Save HK$1,375.98 (34%)
      Previous Page 12345678910 Next Page
      Previous Page 12345678910 Next Page