Distinguished Dissertations – serie

Visar alla böcker i serien Distinguished Dissertations.

28 produkter

1. 

   Accurate Visual Metrology from Single and Multiple Uncalibrated Images

   Av Antonio Criminisi

   Häftad, 2012

   1409 kr

   Lägg i varukorg

2. 

   Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton’s Principia

   Av Jacques Fleuriot

   Häftad, 2012

   1409 kr

   Lägg i varukorg

3. 

   Dynamic Flexible Constraint Satisfaction and its Application to AI Planning

   Av Ian Miguel

   Häftad, 2012

   1449 kr

   Lägg i varukorg

4. 

   Image Mosaicing and Super-resolution

   Av David Capel

   Häftad, 2012

   1449 kr

   Lägg i varukorg

5. 

   Strength or Accuracy: Credit Assignment in Learning Classifier Systems

   Av Tim Kovacs

   Häftad, 2012

   2109 kr

   Lägg i varukorg

6. 

   User-Developer Cooperation in Software Development

   Building Common Ground and Usable Systems

   Av Eamonn O'Neill

   Häftad, 2012

   1449 kr

   Lägg i varukorg

7. 

   Inheritance Relationships for Disciplined Software Construction

   Av Tracy A. Gardner

   Häftad, 2012

   729 kr

   Lägg i varukorg

8. 

   Asynchronous System-on-Chip Interconnect

   Av John Bainbridge

   Häftad, 2014

   709 kr

   Lägg i varukorg

9. 

   Automated Theory Formation in Pure Mathematics

   Av Simon Colton

   Häftad, 2012

   1409 kr

   Lägg i varukorg

10. 

    Games and Full Abstraction for a Functional Metalanguage with Recursive Types

    Av Guy McCusker

    Häftad, 2012

    729 kr

    Lägg i varukorg

11. 

    Stochastic Algorithms for Visual Tracking

    Probabilistic Modelling and Stochastic Algorithms for Visual Localisation and Tracking

    Av John MacCormick

    Häftad, 2011

    1449 kr

    Lägg i varukorg

12. 

    Randomized Algorithms: Approximation, Generation, and Counting

    Av Russ Bubley

    Häftad, 2011

    1449 kr

    Lägg i varukorg

13. 

    Architecture-Independent Loop Parallelisation

    Av Radu C. Calinescu

    Häftad, 2011

    1449 kr

    Lägg i varukorg

14. 

    Models of Sharing Graphs

    A Categorical Semantics of let and letrec

    Av Masahito Hasegawa

    Häftad, 2011

    729 kr

    Lägg i varukorg

15. 

    Large Scale Collaborative Virtual Environments

    Av Chris Greenhalgh

    Häftad, 2011

    1449 kr

    Lägg i varukorg

16. 

    Extensional Constructs in Intensional Type Theory

    Av Martin Hofmann

    Häftad, 2011

    2029 kr

    Lägg i varukorg

17. 

    Theorem Proving with the Real Numbers

    Av John Harrison

    Häftad, 2011

    1449 kr

    Lägg i varukorg

18. 

    Search and Planning Under Incomplete Information

    A Study Using Bridge Card Play

    Av Ian Frank

    Häftad, 2011

    1449 kr

    Lägg i varukorg

19. 

    Hardware Evolution

    Automatic Design of Electronic Circuits in Reconfigurable Hardware by Artificial Evolution

    Av Adrian Thompson

    Häftad, 2012

    1449 kr

    Lägg i varukorg

20. 

    User-Developer Cooperation in Software Development

    Building Common Ground and Usable Systems

    Av Eamonn O'Neill

    Inbunden, 2001

    1449 kr

    Lägg i varukorg

21. 

    Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton’s Principia

    Av Jacques Fleuriot

    Inbunden, 2001

    1409 kr

    Lägg i varukorg

22. 

    Inheritance Relationships for Disciplined Software Construction

    Av Tracy A. Gardner

    Inbunden, 2001

    1159 kr

    Lägg i varukorg

23. 

    Accurate Visual Metrology from Single and Multiple Uncalibrated Images

    Av Antonio Criminisi

    Inbunden, 2001

    1409 kr

    Lägg i varukorg

24. 

    Automated Theory Formation in Pure Mathematics

    Av Simon Colton

    Inbunden, 2002

    1409 kr

    Lägg i varukorg

25. 

    Dynamic Flexible Constraint Satisfaction and its Application to AI Planning

    Av Ian Miguel

    Inbunden, 2003

    1449 kr

    Lägg i varukorg

26. 

    Strength or Accuracy: Credit Assignment in Learning Classifier Systems

    Av Tim Kovacs

    Inbunden, 2004

    2169 kr

    Lägg i varukorg

27. 

    Image Mosaicing and Super-resolution

    Av David Capel

    Inbunden, 2004

    1449 kr

    Lägg i varukorg

28. 

    Games and Full Abstraction for a Functional Metalanguage with Recursive Types

    Av Guy McCusker

    Inbunden, 1998

    1129 kr

    Lägg i varukorg