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