Author(s)
Bibliographic Information
Distinguished dissertations
Springer Verlag
Search this Book/Journal
Related Books: 1-16 of 16
-
1
- Image mosaicing and super-resolution
-
David Capel
Springer c2004 Distinguished dissertations
Available at 6 libraries
-
2
- Inheritance relationships for disciplined software construction
-
Tracy A. Gardner
Springer c2002 Distinguished dissertations
Available at 3 libraries
-
3
- Asynchronous system-on-chip interconnect
-
John Bainbridge
Springer 2002 Distinguished dissertations
Available at 6 libraries
-
4
- Automated theory formation in pure mathematics
-
Simon Colton
Springer-Verlag c2002 Distinguished dissertations
Available at 5 libraries
-
5
- Stochastic algorithms for visual tracking : probabilistic modelling and stochastic algorithms for visual localisation and tracking
-
John MacCormick
Springer c2002 Distinguished dissertations
Available at 6 libraries
-
6
- Accurate visual metrology from single and multiple uncalibrated images
-
Antonio Criminisi
Springer c2001 Distinguished dissertations
Available at 4 libraries
-
7
- A combination of geometry theorem proving and nonstandard analysis with application to Newton's Principia
-
Jacques Fleuriot
Springer c2001 Distinguished dissertations
Available at 3 libraries
-
8
- User-developer cooperation in software development : building common ground and usable systems
-
Eamonn O'Neill
Springer c2001 Distinguished dissertations
Available at 4 libraries
-
9
- Randomized algorithms : approximation, generation, and counting
-
Russ Bubley
Springer c2001 Distinguished dissertations
Available at 9 libraries
-
10
- Architecture-independent loop parallelisation
-
Radu C. Calinescu
Springer c2000 Distinguished dissertations
Available at 4 libraries
-
11
- Large scale collaborative virtual environments
-
Chris Greenhalgh
Springer c1999 Distinguished dissertations
Available at 5 libraries
-
12
- Models of sharing graphs : a categorical semantics of let and letrec
-
Masahito Hasegawa
Springer c1999 Distinguished dissertations
Available at 13 libraries
-
13
- Search and planning under incomplete information : a study using bridge card play
-
Ian Frank
Springer c1998 Distinguished dissertations
Available at 7 libraries
-
14
- Theorem proving with the real numbers
-
John Harrison
Springer c1998 Distinguished dissertations
Available at 9 libraries
-
15
- Games and full abstraction for a functional metalanguage with recursive types
-
Guy McCusker
Springer c1998 Distinguished dissertations
Available at 5 libraries
-
16
- Hardware evolution : automatic design of electronic circuits in reconfigurable hardware by Artificial Evolution
-
Adrian Thompson
Springer c1998 Distinguished dissertations
Available at 8 libraries