Distinguished Dissertations in Computer Science
Results
✕
Specification and Proof in Real Time CSP
January 2012
9781107403864
Available, despatch within 3-4 weeks
Paperback
✕
Specification and Proof in Real Time CSP
January 2012
9781139243254
This ISBN is for an eBook version which is distributed on our behalf by a third party.
Adobe eBook Reader
✕
Specification and Proof in Real Time CSP
May 1993
9780521450553
Available, despatch within 3-4 weeks
Hardback
✕
A Modular and Extensible Network Storage Architecture
July 2011
9780521349468
Available, despatch within 3-4 weeks
Paperback
✕
A Modular and Extensible Network Storage Architecture
August 1995
9780521551151
Available, despatch within 3-4 weeks
Hardback
✕
Three-Dimensional Integrated Circuit Layout
August 2009
9780511880513
This ISBN is for an eBook version which is distributed on our behalf by a third party.
Adobe eBook Reader
✕
Three-Dimensional Integrated Circuit Layout
August 2009
9780521118163
Available, despatch within 3-4 weeks
Paperback
✕
Three-Dimensional Integrated Circuit Layout
November 1991
9780521416306
Available, despatch within 3-4 weeks
Hardback
✕
Efficient Algorithms for Listing Combinatorial Structures
July 2009
9780521117883
Available, despatch within 3-4 weeks
Paperback
✕
Efficient Algorithms for Listing Combinatorial Structures
July 2009
9780511883859
This ISBN is for an eBook version which is distributed on our behalf by a third party.
Adobe eBook Reader
✕
Efficient Algorithms for Listing Combinatorial Structures
April 1993
9780521450218
Available, despatch within 3-4 weeks
Hardback
✕
Functional Programming and Input/Output
July 2008
9780521070072
Available, despatch within 3-4 weeks
Paperback
✕
Affine Analysis of Image Sequences
September 2005
9780511888533
This ISBN is for an eBook version which is distributed on our behalf by a third party.
Adobe eBook Reader
✕
Affine Analysis of Image Sequences
September 2005
9780521019781
Available, despatch within 3-4 weeks
Paperback
✕
A Compositional Approach to Performance Modelling
June 2005
9780521673532
Available, despatch within 3-4 weeks
Paperback
✕
A Compositional Approach to Performance Modelling
June 2005
9780511822681
This ISBN is for an eBook version which is distributed on our behalf by a third party.
Adobe eBook Reader
✕
Modelling Auditory Processing and Organisation
February 2005
9780521619387
Available, despatch within 3-4 weeks
Paperback
✕
Logic Programming
Operational Semantics and Proof Theory
August 2004
9780521607544
Available, despatch within 3-4 weeks
Paperback
✕
Logic Programming
Operational Semantics and Proof Theory
August 2004
9780511882029
This ISBN is for an eBook version which is distributed on our behalf by a third party.
Adobe eBook Reader
✕
Axiomatic Domain Theory in Categories of Partial Maps
March 2004
9780511822674
This ISBN is for an eBook version which is distributed on our behalf by a third party.
Adobe eBook Reader
✕
Axiomatic Domain Theory in Categories of Partial Maps
March 2004
9780521602778
Available, despatch within 3-4 weeks
Paperback
✕
Qualified Types
Theory and Practice
October 2003
9780521543262
Available, despatch within 3-4 weeks
Paperback
✕
Qualified Types
Theory and Practice
October 2003
9780511886553
This ISBN is for an eBook version which is distributed on our behalf by a third party.
Adobe eBook Reader
✕
The Map-Building and Exploration Strategies of a Simple Sonar-Equipped Mobile Robot
An Experimental, Quantitative Evaluation
September 2003
9780521542159
Available, despatch within 3-4 weeks
Paperback
