Author(s)
Bibliographic Information
Distinguished dissertations in computer science
Cambridge University Press
Search this Book/Journal
Related Books： 1-20 of 22
- 1
- 2
- 1 / 2
-
1
- Specification and proof in real-time CSP
-
Jim Davies
Cambridge University Press 2011, c1993 Distinguished dissertations in computer science 6
: pbk
-
2
- Affine analysis of image sequences
-
Larry S. Shapiro
Cambridge University Press 2005 Distinguished dissertations in computer science
: pbk.
Available at 1 libraries
-
3
- A compositional approach to performance modelling
-
Jane Hillston
Cambridge University Press 2005 Distinguished dissertations in computer science
: pbk.
Available at 2 libraries
-
4
- Modelling auditory processing and organisation
-
Martin Cooke
Cambridge University Press 2005 Distinguished dissertations in computer science
: pbk
Available at 6 libraries
-
5
- Logic programming : operational semantics and proof theory
-
James H. Andrews
Cambridge University Press 2004, c1992 Distinguished dissertations in computer science
: pbk
-
6
- Axiomatic domain theory in categories of partial maps
-
Marcelo P. Fiore
Cambridge University Press 2004, c1996 Distinguished dissertations in computer science
: pbk
Available at 2 libraries
-
7
- Qualified types : theory and practice
-
Mark P. Jones
Cambridge University Press 2003, c1994 Distinguished dissertations in computer science
: pbk
Available at 1 libraries
-
8
- The map-building and exploration strategies of a simple sonar-equipped robot : an experimental, quantitave evaluation
-
David Lee
Cambridge University Press 2003 1st pbk. ed Distinguished dissertations in computer science
: paperback
Available at 1 libraries
-
9
- A compositional approach to performance modelling
-
Jane Hillston
Cambridge University Press 1996 Distinguished dissertations in computer science
Available at 6 libraries
-
10
- The map-building and exploration strategies of a simple sonar-equipped robot : an experimental, quantitave evaluation
-
David Lee
Cambridge University Press 1996 Distinguished dissertations in computer science
: hc
Available at 8 libraries
-
11
- Axiomatic domain theory in categories of partial maps
-
Marcelo P. Fiore
Cambridge University Press 1996 Distinguished dissertations in computer science
: hc
Available at 21 libraries
-
12
- A modular and extensible network storage architecture
-
Sai-Lai Lo
Cambridge University Press 1995 Distinguished dissertations in computer science
: hardback
Available at 3 libraries
-
13
- Affine analysis of image sequences
-
Larry S. Shapiro
Cambridge University Press 1995 Distinguished dissertations in computer science
Available at 18 libraries
-
14
- Qualified types : theory and practice
-
Mark P. Jones
Cambridge University Press 1994 Distinguished dissertations in computer science
Available at 12 libraries
-
15
- Functional programming and input/output
-
Andrew D. Gordon
Cambridge University Press 1994 Distinguished dissertations in computer science
Available at 12 libraries
-
16
- Modelling auditory processing and organisation
-
Martin Cooke
Cambridge University Press 1993 Distinguished dissertations in computer science
Available at 18 libraries
-
17
- Efficient algorithms for listing combinatorial structures
-
Leslie Ann Goldberg
Cambridge University Press 1993 Distinguished dissertations in computer science
: pbk
Available at 25 libraries
-
18
- Specification and proof in real-time CSP
-
Jim Davies
Cambridge University Press 1993 Distinguished dissertations in computer science
Available at 17 libraries
-
19
- Logic programming : operational semantics and proof theory
-
James H. Andrews
Cambridge University Press 1992 Distinguished dissertations in computer science
Available at 19 libraries
-
20
- Action refinement in process algebras
-
Luca Aceto
Cambridge University Press c1992 Distinguished dissertations in computer science
Available at 8 libraries
- 1
- 2
- 1 / 2
