Books by Distinguished Dissertations
A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newtons Principia
-20% with code BOOKS
In stock at our supplier
Accurate Visual Metrology from Single and Multiple Uncalibrated Images
-20% with code BOOKS
In stock at our supplier
User-Developer Cooperation in Software Development: Building Common Ground and Usable Systems
-20% with code BOOKS
In stock at our supplier
Dynamic Flexible Constraint Satisfaction and its Application to AI Planning
-20% with code BOOKS
In stock at our supplier
Strength or Accuracy: Credit Assignment in Learning Classifier Systems
-20% with code BOOKS
In stock at our supplier
Automated Theory Formation in Pure Mathematics
-20% with code BOOKS
In stock at our supplier
Image Mosaicing and Super-resolution
-20% with code BOOKS
In stock at our supplier
Models of Sharing Graphs: A Categorical Semantics of let and letrec
-20% with code BOOKS
In stock at our supplier
Extensional Constructs in Intensional Type Theory
-20% with code BOOKS
In stock at our supplier
Randomized Algorithms: Approximation, Generation, and Counting
-20% with code BOOKS
In stock at our supplier
Theorem Proving with the Real Numbers
-20% with code BOOKS
In stock at our supplier
Search and Planning Under Incomplete Information: A Study Using Bridge Card Play
-20% with code BOOKS
In stock at our supplier
Hardware Evolution: Automatic Design of Electronic Circuits in Reconfigurable Hardware by Artificial Evolution
-20% with code BOOKS
In stock at our supplier
Large Scale Collaborative Virtual Environments
-20% with code BOOKS
In stock at our supplier
Architecture-Independent Loop Parallelisation
-20% with code BOOKS
In stock at our supplier
Stochastic Algorithms for Visual Tracking: Probabilistic Modelling and Stochastic Algorithms for Visual Localisation and Tracking
-20% with code BOOKS
In stock at our supplier
Strength or Accuracy: Credit Assignment in Learning Classifier Systems
-20% with code BOOKS
In stock at our supplier
User-Developer Cooperation in Software Development: Building Common Ground and Usable Systems
-20% with code BOOKS
In stock at our supplier
Inheritance Relationships for Disciplined Software Construction
-20% with code BOOKS
In stock at our supplier
Image Mosaicing and Super-resolution
-20% with code BOOKS
In stock at our supplier
Games and Full Abstraction for a Functional Metalanguage with Recursive Types
-20% with code BOOKS
In stock at our supplier
A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newtons Principia
-20% with code BOOKS
In stock at our supplier
Dynamic Flexible Constraint Satisfaction and its Application to AI Planning
-20% with code BOOKS
In stock at our supplier
Automated Theory Formation in Pure Mathematics
-20% with code BOOKS
In stock at our supplier
Accurate Visual Metrology from Single and Multiple Uncalibrated Images
-20% with code BOOKS
In stock at our supplier
Asynchronous System-on-Chip Interconnect
-20% with code BOOKS
In stock at our supplier
