Large Scale Collaborative Virtual Environments
Chris Greenhalgh
Item not Available
Format: Book (Paperback / softback)
£99.99
£81.69
Item not Available
Book (Paperback / softback)
Extensional Constructs in Intensional Type Theory
Martin Hofmann
Item not Available
Format: Book (Paperback / softback)
£109.99
£95.55
Item not Available
Book (Paperback / softback)
Theorem Proving with the Real Numbers
John Harrison
Download - Immediately Available
Format: eBook (PDF)
Theorem Proving with the Real Numbers
John Harrison
Item not Available
Format: Book (Paperback / softback)
£99.99
£81.69
Item not Available
Book (Paperback / softback)
Search and Planning Under Incomplete Information : A Study Using Bridge Card Play
Ian Frank
Download - Immediately Available
Format: eBook (PDF)
Search and Planning Under Incomplete Information : A Study Using Bridge Card Play
Ian Frank
Item not Available
Format: Book (Paperback / softback)
£109.99
£95.55
Item not Available
Book (Paperback / softback)
Hardware Evolution : Automatic Design of Electronic Circuits in Reconfigurable Hardware by Artificial Evolution
Adrian Thompson
Download - Immediately Available
Format: eBook (PDF)
Hardware Evolution : Automatic Design of Electronic Circuits in Reconfigurable Hardware by Artificial Evolution
Adrian Thompson
Item not Available
Format: Book (Paperback / softback)
£99.99
£81.69
Item not Available
Book (Paperback / softback)
Accurate Visual Metrology from Single and Multiple Uncalibrated Images
Antonio Criminisi
Download - Immediately Available
Format: eBook (PDF)
A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton's Principia
Jacques Fleuriot
Download - Immediately Available
Format: eBook (PDF)
Dynamic Flexible Constraint Satisfaction and its Application to AI Planning
Ian Miguel
Download - Immediately Available
Format: eBook (PDF)
Image Mosaicing and Super-resolution
David Capel
Download - Immediately Available
Format: eBook (PDF)
Strength or Accuracy: Credit Assignment in Learning Classifier Systems
Tim Kovacs
Download - Immediately Available
Format: eBook (PDF)
A Biblical-missiological Exploration of the Cross-cultural Dimensions in Luke-Acts
Harold E. Dollar
Item not Available
Format: Book (Hardback)
£104.95
Item not Available
Book (Hardback)
User-Developer Cooperation in Software Development : Building Common Ground and Usable Systems
Eamonn O'Neill
Item not Available
Format: Book (Hardback)
£109.99
£95.55
Item not Available
Book (Hardback)
A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton's Principia
Jacques Fleuriot
Item not Available
Format: Book (Hardback)
£109.99
£95.55
Item not Available
Book (Hardback)
Inheritance Relationships for Disciplined Software Construction
Tracy A. Gardner
Out of stock
Format: Book (Hardback)
Accurate Visual Metrology from Single and Multiple Uncalibrated Images
Antonio Criminisi
Item not Available
Format: Book (Hardback)
£119.99
£103.59
Item not Available
Book (Hardback)
Automated Theory Formation in Pure Mathematics
Simon Colton
Item not Available
Format: Book (Hardback)
£109.99
£95.55
Item not Available
Book (Hardback)
Dynamic Flexible Constraint Satisfaction and its Application to AI Planning
Ian Miguel
Item not Available
Format: Book (Hardback)
£119.99
£104.05
Item not Available
Book (Hardback)
Strength or Accuracy: Credit Assignment in Learning Classifier Systems
Tim Kovacs
Item not Available
Format: Book (Hardback)
£139.99
£120.95
Item not Available
Book (Hardback)
£119.99
£104.05
Item not Available
Book (Hardback)