著者
書誌事項
Distinguished dissertations in computer science
Cambridge University Press
この図書・雑誌をさがす
関連文献： 22件中 1-20を表示
- 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.
所蔵館1館
-
3
- A compositional approach to performance modelling
-
Jane Hillston
Cambridge University Press 2005 Distinguished dissertations in computer science
: pbk.
所蔵館2館
-
4
- Modelling auditory processing and organisation
-
Martin Cooke
Cambridge University Press 2005 Distinguished dissertations in computer science
: pbk
所蔵館6館
-
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
所蔵館2館
-
7
- Qualified types : theory and practice
-
Mark P. Jones
Cambridge University Press 2003, c1994 Distinguished dissertations in computer science
: pbk
所蔵館1館
-
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
所蔵館1館
-
9
- A compositional approach to performance modelling
-
Jane Hillston
Cambridge University Press 1996 Distinguished dissertations in computer science
所蔵館6館
-
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
所蔵館8館
-
11
- Axiomatic domain theory in categories of partial maps
-
Marcelo P. Fiore
Cambridge University Press 1996 Distinguished dissertations in computer science
: hc
所蔵館20館
-
12
- A modular and extensible network storage architecture
-
Sai-Lai Lo
Cambridge University Press 1995 Distinguished dissertations in computer science
: hardback
所蔵館3館
-
13
- Affine analysis of image sequences
-
Larry S. Shapiro
Cambridge University Press 1995 Distinguished dissertations in computer science
所蔵館17館
-
14
- Qualified types : theory and practice
-
Mark P. Jones
Cambridge University Press 1994 Distinguished dissertations in computer science
所蔵館11館
-
15
- Functional programming and input/output
-
Andrew D. Gordon
Cambridge University Press 1994 Distinguished dissertations in computer science
所蔵館11館
-
16
- Modelling auditory processing and organisation
-
Martin Cooke
Cambridge University Press 1993 Distinguished dissertations in computer science
所蔵館17館
-
17
- Efficient algorithms for listing combinatorial structures
-
Leslie Ann Goldberg
Cambridge University Press 1993 Distinguished dissertations in computer science
: pbk
所蔵館23館
-
18
- Specification and proof in real-time CSP
-
Jim Davies
Cambridge University Press 1993 Distinguished dissertations in computer science
所蔵館16館
-
19
- Logic programming : operational semantics and proof theory
-
James H. Andrews
Cambridge University Press 1992 Distinguished dissertations in computer science
所蔵館20館
-
20
- Action refinement in process algebras
-
Luca Aceto
Cambridge University Press c1992 Distinguished dissertations in computer science
所蔵館7館
- 1
- 2
- 1 / 2
