Warehouse Stock Clearance Sale

Grab a bargain today!

  1. Search
  2. All Products
Refine By
Category
Software Development (16)
General (12)
Compilers (8)
Systems Design (4)
Algorithms (4)
Visual Basic (1)
CGI (1)
Sold By
All Sellers
Fishpond (17)
Age Range
All Ranges
15+ (5)
Country
All Countries
United States (22)
Germany (17)
Switzerland (5)
United Kingdom (3)
Netherlands (1)
    Results for "Cliff"
    Cliff
    18 results
    Refine By
    Category
    Software Development (16)
    General (12)
    Compilers (8)
    Systems Design (4)
    Algorithms (4)
    Visual Basic (1)
    CGI (1)
    Sold By
    All Sellers
    Fishpond (17)
    Age Range
    All Ranges
    15+ (5)
    Country
    All Countries
    United States (22)
    Germany (17)
    Switzerland (5)
    United Kingdom (3)
    Netherlands (1)
      Related Searches: 
      cliff notes australia     cliff richard     cliff richard calendar     cliff simon     cliff keen headgear     cliff ragsdale     cliffs white mountain     petrina cliff
      18 results
      • Bestselling
      • Relevance
      • Price: Lowest
      Sort By
      View:
      VDM '87, VDM, a Formal ­Method at Work (VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))
      By Dines Bjorner, Cliff Jones, Michael Mac an Airchinnigh, Erich J. Neuhold
      VDM '87, VDM, a Formal ­Method at Work (VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))
      By Dines Bjorner, Cliff Jones, Michael Mac an Airchinnigh, Erich J. Neuhold
      HK$537
      5th Refinement Workshop (Proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8–10 January 1992 (Workshops in Computing))
      By Cliff B. Jones, Roger C. Shaw, Tim Denvir
      5th Refinement Workshop (Proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8–10 January 1992 (Workshops in Computing))
      By Cliff B. Jones, Roger C. Shaw, Tim Denvir
      HK$535
      Communicating Sequential ­Processes. The First 25 ­Years (Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))
      By Ali E. Abdallah, Cliff B. Jones, Jeff W. Sanders
      Communicating Sequential ­Processes. The First 25 ­Years (Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))
      By Ali E. Abdallah, Cliff B. Jones, Jeff W. Sanders
      HK$600
      Rigorous Development of ­Complex Fault-Tolerant ­Systems (Lecture Notes in ­Computer Science) (Programming and Software Engineering)
      By Michael Butler, Cliff Jones, Alexander Romanovsky, Elena Troubitsyna
      Rigorous Development of ­Complex Fault-Tolerant ­Systems (Lecture Notes in ­Computer Science) (Programming and Software Engineering)
      By Michael Butler, Cliff Jones, Alexander Romanovsky, Elena Troubitsyna
      HK$534
      Fme '97: Industrial ­Applications and ­Strengthened Foundations of ­Formal Methods (4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997: Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intel)
      By John Fitzgerald, Cliff B. Jones, P. Lucas
      Fme '97: Industrial ­Applications and ­Strengthened Foundations of ­Formal Methods (4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997: Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intel)
      By John Fitzgerald, Cliff B. Jones, P. Lucas
      HK$1,000
      Formal Methods and Hybrid ­Real-Time Systems (Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))
      By James Woodcock, Cliff B. Jones, Zhiming Liu
      Formal Methods and Hybrid ­Real-Time Systems (Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))
      By James Woodcock, Cliff B. Jones, Zhiming Liu
      HK$572
      Theoretical Aspects of ­Computing - ICTAC 2007 (4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings (Lecture Notes in Computer Science))
      By Cliff B. Jones, Zhiming Liu, Jim Woodcock
      Theoretical Aspects of ­Computing - ICTAC 2007 (4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings (Lecture Notes in Computer Science))
      By Cliff B. Jones, Zhiming Liu, Jim Woodcock
      HK$559
      Methods, Models and Tools ­for Fault Tolerance ­(Lecture Notes in Computer ­Science) (Programming and Software Engineering)
      By Michael Butler, Cliff B. Jones, Alexander Romanovsky, Elena Troubitsyna
      Methods, Models and Tools ­for Fault Tolerance ­(Lecture Notes in Computer ­Science) (Programming and Software Engineering)
      By Michael Butler, Cliff B. Jones, Alexander Romanovsky, Elena Troubitsyna
      HK$500
      Dependable and Historic ­Computing (Essays Dedicated to Brian Randell on the Occasion of his 75th Birthday (Theoretical Computer Science and General Issues))
      By Cliff B. Jones, John L. Lloyd
      Dependable and Historic ­Computing (Essays Dedicated to Brian Randell on the Occasion of his 75th Birthday (Theoretical Computer Science and General Issues))
      By Cliff B. Jones, John L. Lloyd
      HK$590
      The Ultimate Vb.Net and ­Asp.Net Code Book
      By Karl Moore
      The Ultimate Vb.Net and ­Asp.Net Code Book
      By Karl Moore
      HK$370 Elsewhere HK$397.21 Save HK$27.21 (7%)
      2
      mural (A Formal Development Support System)
      By C.B. Jones, J. Bicarregui, M. Elvang-Goransson, K.D. Jones
      mural (A Formal Development Support System)
      By C.B. Jones, J. Bicarregui, M. Elvang-Goransson, K.D. Jones
      HK$557
      Fme '93 Industrial-Strength ­Formal Methods (First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))
      By James C.P. Woodcock, Peter G. Larsen
      Fme '93 Industrial-Strength ­Formal Methods (First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))
      By James C.P. Woodcock, Peter G. Larsen
      HK$1,100
      CONCUR '93 (4th International Conference on Concurrency Theory, Hildesheim, Germany, August 23-26, 1993 - Proceedings (Lecture Notes in Computer Science))
      By Eike Best
      CONCUR '93 (4th International Conference on Concurrency Theory, Hildesheim, Germany, August 23-26, 1993 - Proceedings (Lecture Notes in Computer Science))
      By Eike Best
      HK$560
      Programming Languages and ­Systems - Esop '96: 6th ­European Symposium on ­Programming, Linkoping, ­Sweden, April, 22 - 24, ­1996. Proceedings (6th European Symposium on Programming, Linkoping, Sweden, April 22-24, 1996, Proceedings: 6th European Symposium on)
      By Hanne Riis Nielson
      Programming Languages and ­Systems - Esop '96: 6th ­European Symposium on ­Programming, Linkoping, ­Sweden, April, 22 - 24, ­1996. Proceedings (6th European Symposium on Programming, Linkoping, Sweden, April 22-24, 1996, Proceedings: 6th European Symposium on)
      By Hanne Riis Nielson
      HK$534
      Advances in Cryptology - ­CRYPTO '96 (16th Annual International Cryptology Conference, Santa Barbara, California, USA, August 18-22, 1996, Proceedings (Lecture Notes in Computer Science))
      By Neal Koblitz
      Advances in Cryptology - ­CRYPTO '96 (16th Annual International Cryptology Conference, Santa Barbara, California, USA, August 18-22, 1996, Proceedings (Lecture Notes in Computer Science))
      By Neal Koblitz
      HK$540
      Parallel Computing ­Technologies (12th International Conference, PaCT 2013, St. Petersburg, Russia, September 30-October 4, 2013, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))
      By Victor Malyshkin
      Parallel Computing ­Technologies (12th International Conference, PaCT 2013, St. Petersburg, Russia, September 30-October 4, 2013, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))
      By Victor Malyshkin
      HK$540
      Understanding Petri Nets (Modeling Techniques, Analysis Methods, Case Studies)
      By Reisig, Wolfgang
      Understanding Petri Nets (Modeling Techniques, Analysis Methods, Case Studies)
      By Reisig, Wolfgang
      HK$500
      Understanding Petri Nets (Modeling Techniques, Analysis Methods, Case Studies)
      By Reisig, Wolfgang
      Understanding Petri Nets (Modeling Techniques, Analysis Methods, Case Studies)
      By Reisig, Wolfgang
      Currently
      Unavailable