Languages
Subject
Format
Availabity
Authors

Search result

John Bainbridge - Asynchronous System-on-Chip Interconnect
John Bainbridge Asynchronous System-on-Chip Interconnect English 22.04.2014 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
David Capel - Image Mosaicing and Super-resolution
David Capel Image Mosaicing and Super-resolution English 13.03.2013 Paperback / Softback Fr. 134.00 1-2 weeks (title will be printed to order)
Chris Greenhalgh, Christopher Greenhalgh - Large Scale Collaborative Virtual Environments
Chris Greenhalgh, Christopher Greenhalgh Large Scale Collaborative Virtual Environments English 25.07.2012 Paperback / Softback Fr. 134.00 1-2 weeks (title will be printed to order)
John Harrison - Theorem Proving with the Real Numbers
John Harrison Theorem Proving with the Real Numbers English 25.07.2012 Paperback / Softback Fr. 134.00 1-2 weeks (title will be printed to order)
Martin Hofmann - Extensional Constructs in Intensional Type Theory
Martin Hofmann Extensional Constructs in Intensional Type Theory English 25.07.2012 Paperback / Softback Fr. 178.00 1-2 weeks (title will be printed to order)
Masahito Hasegawa - Models of Sharing Graphs
Masahito Hasegawa Models of Sharing Graphs English 25.07.2012 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Radu C Calinescu, Radu C. Calinescu - Architecture-Independent Loop Parallelisation
Radu C Calinescu, Radu C. Calinescu Architecture-Independent Loop Parallelisation English 25.07.2012 Paperback / Softback Fr. 134.00 1-2 weeks (title will be printed to order)
Adrian Thompson - Hardware Evolution
Adrian Thompson Hardware Evolution English 25.07.2012 Paperback / Softback Fr. 134.00 1-2 weeks (title will be printed to order)
Ian Frank - Search and Planning Under Incomplete Information
Ian Frank Search and Planning Under Incomplete Information English 25.07.2012 Paperback / Softback Fr. 134.00 1-2 weeks (title will be printed to order)
Guy McCusker - Games and Full Abstraction for a Functional Metalanguage with Recursive Types
Guy McCusker Games and Full Abstraction for a Functional Metalanguage with Recursive Types English 17.10.2013 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Jacques Fleuriot - A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton's Principia
Jacques Fleuriot A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton's Principia English 18.10.2013 Paperback / Softback Fr. 134.00 1-2 weeks (title will be printed to order)
Jacques Fleuriot - A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton's Principia
Jacques Fleuriot A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton's Principia English 17.04.2009 Hardback Fr. 134.00 2-3 weeks (title will be printed to order)
David Capel - Image Mosaicing and Super-Resolution
David Capel Image Mosaicing and Super-Resolution English 19.01.2004 Hardback Fr. 134.00 2-3 weeks (title will be printed to order)
Tim Kovacs - Strength or Accuracy: Credit Assignment in Learning Classifier Systems
Tim Kovacs Strength or Accuracy: Credit Assignment in Learning Classifier Systems English 22.04.2004 Hardback Fr. 188.00 2-3 weeks (title will be printed to order)
John Bainbridge - Asynchronous System-On-Chip Interconnect
John Bainbridge Asynchronous System-On-Chip Interconnect English 28.05.2002 Hardback Fr. 152.40 at least 4 weeks (title will be specially ordered)
Eamonn O'Neill - User-Developer Cooperation in Software Development
Eamonn O'Neill User-Developer Cooperation in Software Development English 01.01.1960 Hardback Fr. 158.00 6-7 weeks
Simon Colton - Automated Theory Formation in Pure Mathematics
Simon Colton Automated Theory Formation in Pure Mathematics English 01.01.2002 Hardback Fr. 158.00 6-7 weeks
I. Miguel, Ian Miguel - Dynamic Flexible Constraint Satisfaction and its Application to AI Planning
I. Miguel, Ian Miguel Dynamic Flexible Constraint Satisfaction and its Application to AI Planning English 11.02.2004 Hardback Fr. 179.00 6-7 weeks
Antonio Criminisi - Accurate Visual Metrology from Single and Multiple Uncalibrated Images
Antonio Criminisi Accurate Visual Metrology from Single and Multiple Uncalibrated Images English 01.01.2001 Hardback Fr. 179.00 6-7 weeks
Tim Kovacs - Strength or Accuracy: Credit Assignment in Learning Classifier Systems
Tim Kovacs Strength or Accuracy: Credit Assignment in Learning Classifier Systems English 30.01.2013 Paperback / Softback Fr. 179.00 6-7 weeks