Warehouse Stock Clearance Sale

Grab a bargain today!

  1. Search
  2. All Products
Sold By
All Sellers
Fishpond (11)
Age Range
All Ranges
15+ (2)
Country
All Countries
Germany (9)
United Kingdom (1)
United States (1)
    Results for "C. Jones"
    C. Jones
    13 results
    Sold By
    All Sellers
    Fishpond (11)
    Age Range
    All Ranges
    15+ (2)
    Country
    All Countries
    Germany (9)
    United Kingdom (1)
    United States (1)
      13 results
      • Bestselling
      • Relevance
      • Price: Lowest
      Sort By
      View:
      The Vienna Development ­Method (The Meta-language (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))
      By Dines Bjorner, C.B. Jones
      The Vienna Development ­Method (The Meta-language (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))
      By Dines Bjorner, C.B. Jones
      HK$325
      Functional Reactive ­Programming
      By Blackheath, Stephen, Jones, Anthony, Heinrich Apfelmus
      Functional Reactive ­Programming
      By Blackheath, Stephen, Jones, Anthony, Heinrich Apfelmus
      HK$407
      42
      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$657
      Computer Aided Verification (18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))
      By Thomas Ball, Robert B. Jones
      Computer Aided Verification (18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))
      By Thomas Ball, Robert B. Jones
      HK$1,232
      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$600
      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,200
      Nonstandard Queries and ­Nonstandard Answers (Studies in Logic & Computation S.)
      By R. Demolombe, T. Imielinski
      Nonstandard Queries and ­Nonstandard Answers (Studies in Logic & Computation S.)
      By R. Demolombe, T. Imielinski
      HK$900 Elsewhere HK$1,029.93 Save HK$129.93 (13%)
      Integrated Circuit Design (Power and Timing Modeling, Optimization and Simulation : 10th International Workshop, PATMOS 2000, Geottingen, Germany, September 13-15, 2000 : Proceedings (Lecture Notes in Computer Science))
      By Dimitrios Soudris, Peter Pirsch, Erich Barke
      Integrated Circuit Design (Power and Timing Modeling, Optimization and Simulation : 10th International Workshop, PATMOS 2000, Geottingen, Germany, September 13-15, 2000 : Proceedings (Lecture Notes in Computer Science))
      By Dimitrios Soudris, Peter Pirsch, Erich Barke
      HK$660
      Programs as Data Objects (Second Symposium, PADO 2001, Aarhus, Denmark, May 21-23, 2001, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))
      By Olivier Danvy, Andrzej Filinski
      Programs as Data Objects (Second Symposium, PADO 2001, Aarhus, Denmark, May 21-23, 2001, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))
      By Olivier Danvy, Andrzej Filinski
      HK$532
      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$600
      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$575
      Wafer Scale Integration (I.F.I.P.Workshop Proceedings, 1st)
      By Gabriele Saucier, Jacques Trilhe
      Wafer Scale Integration (I.F.I.P.Workshop Proceedings, 1st)
      By Gabriele Saucier, Jacques Trilhe
      Currently
      Unavailable
      Domain-specific Application ­Frameworks (Frameworks Experience by Industry)
      By Mohamed Fayad, Ralph Johnson
      Domain-specific Application ­Frameworks (Frameworks Experience by Industry)
      By Mohamed Fayad, Ralph Johnson
      Currently
      Unavailable