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