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