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