Automated Theory Formation in Pure Mathematics
Simon Colton
Item not Available
Format: Book (Paperback / softback)
£89.99
£73.75
Item not Available
Book (Paperback / softback)
Games and Full Abstraction for a Functional Metalanguage with Recursive Types
Guy McCusker
Item not Available
Format: Book (Paperback / softback)
£54.99
£46.05
Item not Available
Book (Paperback / softback)
Stochastic Algorithms for Visual Tracking : Probabilistic Modelling and Stochastic Algorithms for Visual Localisation and Tracking
John MacCormick
Item not Available
Format: Book (Paperback / softback)
£99.99
£81.69
Item not Available
Book (Paperback / softback)
Randomized Algorithms: Approximation, Generation, and Counting
Russ Bubley
Item not Available
Format: Book (Paperback / softback)
£89.99
£73.75
Item not Available
Book (Paperback / softback)
Architecture-Independent Loop Parallelisation
Radu C. Calinescu
Item not Available
Format: Book (Paperback / softback)
£101.00
£87.99
Item not Available
Book (Paperback / softback)
Models of Sharing Graphs : A Categorical Semantics of let and letrec
Masahito Hasegawa
Item not Available
Format: Book (Paperback / softback)
£89.99
£73.75
Item not Available
Book (Paperback / softback)
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)
Games and Full Abstraction for a Functional Metalanguage with Recursive Types
Guy McCusker
Out of stock
Format: 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)
