Our systems are now restored following recent technical disruption, and we’re working hard to catch up on publishing. We apologise for the inconvenience caused. Find out more

Item added to bagSorry, there was a problem getting your bag informationItem cannot be purchased with the existing contents of your bagItem unavailable online
✕

was added to your bag.

Please try again.

Sorry, this item cannot be purchased in the same transaction as the existing items in your bag.

Please complete the purchase of the items currently in your bag and then add this item in a separate transaction or visit Shopping Help.

Sorry, this product is not currently available to buy online. Please visit Shopping Help.

View bag and checkout
Remove item
✕

Are you sure you want to remove from your bag?

Recommended product

Popular links

Popular links

Distinguished Dissertations in Computer Science

Results

Filter
Current filters
Refine results

Results

Per Page 1 – 12 of 14
  • 1 – 12 of 14
✕
Specification and Proof in Real Time CSP
Specification and Proof in Real Time CSP
Jim Davies Jim Davies
January 2012
9781107403864
Available
Paperback
£51.99
✕
Specification and Proof in Real Time CSP
Specification and Proof in Real Time CSP
Jim Davies Jim Davies
January 2012
9781139243254
This ISBN is for an eBook version which is distributed on our behalf by a third party.
Adobe eBook Reader
$66.99
Buy eBook
✕
Specification and Proof in Real Time CSP
Specification and Proof in Real Time CSP
Jim Davies Jim Davies
May 1993
9780521450553
Available
Hardback
£110.00
✕
A Modular and Extensible Network Storage Architecture
A Modular and Extensible Network Storage Architecture
Sai Lai Lo Sai Lai Lo
July 2011
9780521349468
Available
Paperback
£36.99
✕
A Modular and Extensible Network Storage Architecture
A Modular and Extensible Network Storage Architecture
Sai Lai Lo Sai Lai Lo
August 1995
9780521551151
Available
Hardback
£114.00
✕
Three-Dimensional Integrated Circuit Layout
Three-Dimensional Integrated Circuit Layout
A. C. Harter A. C. Harter
August 2009
9780521118163
Available
Paperback
£41.00
✕
Three-Dimensional Integrated Circuit Layout
Three-Dimensional Integrated Circuit Layout
A. C. Harter A. C. Harter
August 2009
9780511880513
This ISBN is for an eBook version which is distributed on our behalf by a third party.
Adobe eBook Reader
$51.00
Buy eBook
✕
Three-Dimensional Integrated Circuit Layout
Three-Dimensional Integrated Circuit Layout
A. C. Harter A. C. Harter
November 1991
9780521416306
Available
Hardback
£114.00
✕
Efficient Algorithms for Listing Combinatorial Structures
Efficient Algorithms for Listing Combinatorial Structures
Leslie Ann Goldberg Leslie Ann Goldberg
July 2009
9780521117883
Available
Paperback
£38.00
✕
Efficient Algorithms for Listing Combinatorial Structures
Efficient Algorithms for Listing Combinatorial Structures
Leslie Ann Goldberg Leslie Ann Goldberg
July 2009
9780511883859
This ISBN is for an eBook version which is distributed on our behalf by a third party.
Adobe eBook Reader
$46.99
Buy eBook
✕
Efficient Algorithms for Listing Combinatorial Structures
Efficient Algorithms for Listing Combinatorial Structures
Leslie Ann Goldberg Leslie Ann Goldberg
April 1993
9780521450218
Available
Hardback
£110.00
✕
Functional Programming and Input/Output
Functional Programming and Input/Output
Andrew D. Gordon Andrew D. Gordon
July 2008
9780521070072
Available
Paperback
£38.00
✕
Functional Programming and Input/Output
Functional Programming and Input/Output
Andrew D. Gordon Andrew D. Gordon
October 1994
9780521471039
Replaced by 9780521070072
Hardback
£69.00
✕
Affine Analysis of Image Sequences
Affine Analysis of Image Sequences
Larry S. Shapiro Larry S. Shapiro
September 2005
9780511888533
This ISBN is for an eBook version which is distributed on our behalf by a third party.
Adobe eBook Reader
$50.00
Buy eBook
✕
Affine Analysis of Image Sequences
Affine Analysis of Image Sequences
Larry S. Shapiro Larry S. Shapiro
September 2005
9780521019781
Available
Paperback
£38.00
✕
Affine Analysis of Image Sequences
Affine Analysis of Image Sequences
Larry S. Shapiro Larry S. Shapiro
July 1995
9780521550635
Replaced by 9780521019781
Hardback
£47.50
✕
A Compositional Approach to Performance Modelling
A Compositional Approach to Performance Modelling
Jane Hillston Jane Hillston
June 2005
9780521673532
Available
Paperback
£41.00
✕
A Compositional Approach to Performance Modelling
A Compositional Approach to Performance Modelling
Jane Hillston Jane Hillston
June 2005
9780511822681
This ISBN is for an eBook version which is distributed on our behalf by a third party.
Adobe eBook Reader
$51.00
Buy eBook
✕
A Compositional Approach to Performance Modelling
A Compositional Approach to Performance Modelling
Jane Hillston Jane Hillston
June 1996
9780521571890
Replaced by 9780521673532
Hardback
£40.00
✕
Modelling Auditory Processing and Organisation
Modelling Auditory Processing and Organisation
Martin Cooke Martin Cooke
February 2005
9780521619387
Available
Paperback
£38.00
✕
Modelling Auditory Processing and Organisation
Modelling Auditory Processing and Organisation
Martin Cooke Martin Cooke
August 1993
9780521450942
Replaced by 9780521619387
Hardback
£35.00
✕
Logic Programming
Logic Programming
Operational Semantics and Proof Theory
James H. Andrews James H. Andrews
August 2004
9780521607544
Available
Paperback
£38.00
✕
Logic Programming
Logic Programming
Operational Semantics and Proof Theory
James H. Andrews James H. Andrews
August 2004
9780511882029
This ISBN is for an eBook version which is distributed on our behalf by a third party.
Adobe eBook Reader
$50.00
Buy eBook
✕
Logic Programming
Logic Programming
Operational Semantics and Proof Theory
James H. Andrews James H. Andrews
December 1992
9780521432191
Replaced by 9780521607544
Hardback
£45.00
✕
Axiomatic Domain Theory in Categories of Partial Maps
Axiomatic Domain Theory in Categories of Partial Maps
Marcelo P. Fiore Marcelo P. Fiore
March 2004
9780521602778
Available
Paperback
£41.00
✕
Axiomatic Domain Theory in Categories of Partial Maps
Axiomatic Domain Theory in Categories of Partial Maps
Marcelo P. Fiore Marcelo P. Fiore
March 2004
9780511822674
This ISBN is for an eBook version which is distributed on our behalf by a third party.
Adobe eBook Reader
$51.00
Buy eBook
✕
Axiomatic Domain Theory in Categories of Partial Maps
Axiomatic Domain Theory in Categories of Partial Maps
Marcelo P. Fiore Marcelo P. Fiore
August 1996
9780521571883
Replaced by 9780521602778
Hardback
£75.00
✕
Qualified Types
Qualified Types
Theory and Practice
Mark P. Jones Mark P. Jones
October 2003
9780521543262
Available
Paperback
£38.00
✕
Qualified Types
Qualified Types
Theory and Practice
Mark P. Jones Mark P. Jones
October 2003
9780511886553
This ISBN is for an eBook version which is distributed on our behalf by a third party.
Adobe eBook Reader
$50.00
Buy eBook
✕
Qualified Types
Qualified Types
Theory and Practice
Mark P. Jones Mark P. Jones
November 1994
9780521472531
Replaced by 9780521543262
Hardback
£45.00
✕
The Map-Building and Exploration Strategies of a Simple Sonar-Equipped Mobile Robot
The Map-Building and Exploration Strategies of a Simple Sonar-Equipped Mobile Robot
An Experimental, Quantitative Evaluation
D. C. Lee D. C. Lee
September 2003
9780521542159
Available
Paperback
£38.00
✕
The Map-Building and Exploration Strategies of a Simple Sonar-Equipped Mobile Robot
The Map-Building and Exploration Strategies of a Simple Sonar-Equipped Mobile Robot
An Experimental, Quantitative Evaluation
D. C. Lee D. C. Lee
August 1996
9780521573313
Replaced by 9780521542159
Hardback
£55.00
Per Page 1 – 12 of 14
  • 1 – 12 of 14

Save 20% on your next online purchase

Subscribe to Cambridge Alerts to receive email alerts on new books, offers and news...

Subscribe
academic banner
 
✕

Sorry, this item cannot be purchased in the same transaction as the existing items in your cart.

Please complete the purchase of the items currently in your cart and then add this item in a separate transaction or contact

Customer Services