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