Dynamic Flexible Constraint Satisfaction and its Application to AI Planning
Autor Ian Miguel
27 sep 2012
Paperback
Preț: 622.77 lei 778.45 lei
6-8 săpt.
-20%
Distinguished Dissertations
Randomized Algorithms: Approximation, Generation, and Counting
Autor Russ Bubley
16 sep 2011
Paperback
Preț: 614.83 lei 768.53 lei
6-8 săpt.
-20%
Strength or Accuracy: Credit Assignment in Learning Classifier Systems
Autor Tim Kovacs
20 ian 2004
Hardback
Preț: 956.27 lei 1195.33 lei
6-8 săpt.
-20%
Accurate Visual Metrology from Single and Multiple Uncalibrated Images
Autor Antonio Criminisi
5 sep 2012
Paperback
Preț: 616.56 lei 770.71 lei
6-8 săpt.
-20%
Automated Theory Formation in Pure Mathematics
Autor Simon Colton
27 sep 2012
Paperback
Preț: 620.55 lei 730.06 lei
6-8 săpt.
-15%
Hardware Evolution: Automatic Design of Electronic Circuits in Reconfigurable Hardware by Artificial Evolution
Autor Adrian Thompson
13 feb 2012
Paperback
Preț: 612.94 lei 766.18 lei
6-8 săpt.
-20%
Architecture-Independent Loop Parallelisation
Autor Radu C. Calinescu
16 sep 2011
Paperback
Preț: 615.76 lei 769.71 lei
6-8 săpt.
-20%
Extensional Constructs in Intensional Type Theory
Autor Martin Hofmann
22 sep 2011
Paperback
Preț: 890.95 lei 1113.69 lei
6-8 săpt.
-20%
Theorem Proving with the Real Numbers
Autor John Harrison
20 noi 2011
Paperback
Preț: 615.94 lei 769.93 lei
6-8 săpt.
-20%
Search and Planning Under Incomplete Information: A Study Using Bridge Card Play
Autor Ian Frank
7 dec 2011
Paperback
Preț: 652.46 lei 815.57 lei
38-45 zile
-20%