10 results in Distinguished Dissertations in Computer Science
![](https://assets.cambridge.org/97805216/02778/cover/9780521602778.jpg)
Axiomatic Domain Theory in Categories of Partial Maps
-
- Published online:
- 23 November 2009
- Print publication:
- 08 August 1996
![](https://assets.cambridge.org/97805215/73313/cover/9780521573313.jpg)
The Map-Building and Exploration Strategies of a Simple Sonar-Equipped Mobile Robot
- An Experimental, Quantitative Evaluation
-
- Published online:
- 05 March 2012
- Print publication:
- 26 July 1996
![](https://assets.cambridge.org/97805216/73532/cover/9780521673532.jpg)
A Compositional Approach to Performance Modelling
-
- Published online:
- 24 November 2009
- Print publication:
- 13 June 1996
![](https://assets.cambridge.org/97805215/50635/cover/9780521550635.gif)
Affine Analysis of Image Sequences
-
- Published online:
- 18 December 2009
- Print publication:
- 13 July 1995
![](https://assets.cambridge.org/97805215/43262/cover/9780521543262.jpg)
Qualified Types
- Theory and Practice
-
- Published online:
- 05 May 2010
- Print publication:
- 03 November 1994
![](https://assets.cambridge.org/97805214/50553/cover/9780521450553.jpg)
Specification and Proof in Real Time CSP
-
- Published online:
- 04 August 2010
- Print publication:
- 20 May 1993
![](https://assets.cambridge.org/97805214/50218/cover/9780521450218.jpg)
Efficient Algorithms for Listing Combinatorial Structures
-
- Published online:
- 14 January 2010
- Print publication:
- 22 April 1993
![](https://assets.cambridge.org/97805216/07544/cover/9780521607544.jpg)
Logic Programming
- Operational Semantics and Proof Theory
-
- Published online:
- 23 November 2009
- Print publication:
- 17 December 1992
![](https://assets.cambridge.org/97805214/16306/cover/9780521416306.jpg)
Three-Dimensional Integrated Circuit Layout
-
- Published online:
- 05 May 2010
- Print publication:
- 28 November 1991
![](https://assets.cambridge.org/97805214/14975/cover/9780521414975.gif)
Project Factorisations in Partial Evaluation
-
- Published online:
- 04 August 2010
- Print publication:
- 24 October 1991