Wil je zeker zijn dat je cadeautjes op tijd onder de kerstboom liggen? Onze winkels ontvangen jou met open armen. Nu met extra openingsuren op zondag!
- Afhalen na 1 uur in een winkel met voorraad
- Gratis thuislevering in België vanaf € 30
- Ruim aanbod met 7 miljoen producten
Wil je zeker zijn dat je cadeautjes op tijd onder de kerstboom liggen? Onze winkels ontvangen jou met open armen. Nu met extra openingsuren op zondag!
- Afhalen na 1 uur in een winkel met voorraad
- Gratis thuislevering in België vanaf € 30
- Ruim aanbod met 7 miljoen producten
Reeksen: boeken uit de reeks Distinguished Dissertations
-
Accurate Visual Metrology from Single and Multiple Uncalibrated Images
Antonio Criminisi
- Hardcover | Engels | Distinguished Dissertations
- Accurate Visual Metrology from Single and Multiple Uncalibrated Images presents novel techniques for constructing three-dimensional models from bi-dim... Lees meer
€ 167,95Levering 1 à 2 weken€ 167,95Levering 1 à 2 weken -
Search and Planning Under Incomplete Information
Ian Frank
- Paperback | Engels | Distinguished Dissertations
- This book updates the thesis I produced for my PhD at the Department of Artificial Intelligence of the University of Edinburgh, correcting errors, and... Lees meer
€ 153,95Levering 1 à 2 weken€ 153,95Levering 1 à 2 weken -
Automated Theory Formation in Pure Mathematics
Simon Colton
- Paperback | Engels | Distinguished Dissertations
- In recent years, Artificial Intelligence researchers have largely focused their efforts on solving specific problems, with less emphasis on 'the big p... Lees meer
€ 125,95Levering 1 à 2 weken€ 125,95Levering 1 à 2 weken -
Strength or Accuracy: Credit Assignment in Learning Classifier Systems
Tim Kovacs
- Paperback | Engels | Distinguished Dissertations
- A detailed examination of learning classifier systems (LCS), a form of machine learning system, which incorporates both Evolutionary Algorithms and Re... Lees meer
€ 259,45Levering 2 à 3 weken€ 259,45Levering 2 à 3 weken -
Asynchronous System-On-Chip Interconnect
John Bainbridge
- Paperback | Engels | Distinguished Dissertations
- Asynchronous System-on-Chip Interconnect describes the use of an entirely asynchronous system-bus for the modular construction of integrated circuits.... Lees meer
€ 106,95Levering 1 à 2 weken€ 106,95Levering 1 à 2 weken -
Randomized Algorithms: Approximation, Generation, and Counting
Russ Bubley
- Paperback | Engels | Distinguished Dissertations
- Randomized Algorithms discusses two problems of fine pedigree: counting and generation, both of which are of fundamental importance to discrete mathem... Lees meer
€ 125,95Levering 1 à 2 weken€ 125,95Levering 1 à 2 weken -
Theorem Proving with the Real Numbers
John Harrison
- Paperback | Engels | Distinguished Dissertations
- This book discusses the use of the real numbers in theorem proving. Typ- ically, theorem provers only support a few 'discrete' datatypes such as the n... Lees meer
€ 139,95Levering 1 à 2 weken€ 139,95Levering 1 à 2 weken -
User-Developer Cooperation in Software Development
Eamonn O'Neill
- Hardcover | Engels | Distinguished Dissertations
- The topic of the research reported here is direct user participation in the task-based development of interactive software systems. Building usable so... Lees meer
€ 153,95Levering 1 à 2 weken€ 153,95Levering 1 à 2 weken -
Models of Sharing Graphs
Masahito Hasegawa
- Paperback | Engels | Distinguished Dissertations
- Models of Sharing Graphs presents a sound mathematical basis for reasoning about models of computation involving shared resources, including graph rew... Lees meer
€ 125,95Levering 1 à 2 weken€ 125,95Levering 1 à 2 weken -
A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton's Principia
Jacques Fleuriot
- Paperback | Engels | Distinguished Dissertations
- Sir Isaac Newton's philosophi Naturalis Principia Mathematica'(the Principia) contains a prose-style mixture of geometric and limit reasoning that has... Lees meer
€ 167,95Levering 2 à 3 weken€ 167,95Levering 2 à 3 weken -
Extensional Constructs in Intensional Type Theory
Martin Hofmann
- Paperback | Engels | Distinguished Dissertations
- Extensional Constructs in Intensional Type Theory presents a novel approach to the treatment of equality in Martin-Loef type theory (a basis for impor... Lees meer
€ 153,95Levering 1 à 2 weken€ 153,95Levering 1 à 2 weken -
Large Scale Collaborative Virtual Environments
Chris Greenhalgh
- Paperback | Engels | Distinguished Dissertations
- Collaborative virtual environments are multi-user virtual realities which actively support communication and co-operation. This book addresses the the... Lees meer
€ 139,95Levering 1 à 2 weken€ 139,95Levering 1 à 2 weken -
Games and Full Abstraction for a Functional Metalanguage with Recursive Types
Guy McCusker
- Paperback | Engels | Distinguished Dissertations
- This book is a minor revision of the thesis submitted in August 1996; no major changes have been made. However, I would like to take this opportunity ... Lees meer
€ 76,95Levering 1 à 2 weken€ 76,95Levering 1 à 2 weken -
Accurate Visual Metrology from Single and Multiple Uncalibrated Images
Antonio Criminisi
- Paperback | Engels | Distinguished Dissertations
- Accurate Visual Metrology from Single and Multiple Uncalibrated Images presents novel techniques for constructing three-dimensional models from bi-dim... Lees meer
€ 167,95Levering 1 à 2 weken€ 167,95Levering 1 à 2 weken -
Dynamic Flexible Constraint Satisfaction and Its Application to AI Planning
Ian Miguel
- Hardcover | Engels | Distinguished Dissertations
- A detailed systematic review of the constraint satisfaction literature. Lees meer
€ 167,95Levering 1 à 2 weken€ 167,95Levering 1 à 2 weken -
Image Mosaicing and Super-Resolution
David Capel
- Hardcover | Engels | Distinguished Dissertations
- A comprehensive analysis of techniques used in improving the quality of video images Lees meer
€ 167,95Levering 1 à 2 weken€ 167,95Levering 1 à 2 weken -
Hardware Evolution
Adrian Thompson
- Paperback | Engels | Distinguished Dissertations
- Evolution through natural selection has been going on for a very long time. Evolution through artificial selection has been practiced by humans for a ... Lees meer
€ 139,95Levering 1 à 2 weken€ 139,95Levering 1 à 2 weken -
Automated Theory Formation in Pure Mathematics
Simon Colton
- Hardcover | Engels | Distinguished Dissertations
- In recent years, Artificial Intelligence researchers have largely focused their efforts on solving specific problems, with less emphasis on 'the big p... Lees meer
€ 153,95Levering 1 à 2 weken€ 153,95Levering 1 à 2 weken -
Dynamic Flexible Constraint Satisfaction and Its Application to AI Planning
Ian Miguel
- Paperback | Engels | Distinguished Dissertations
- A detailed systematic review of the constraint satisfaction literature. Lees meer
€ 153,95Levering 1 à 2 weken€ 153,95Levering 1 à 2 weken -
User-Developer Cooperation in Software Development
Eamonn O'Neill
- Paperback | Engels | Distinguished Dissertations
- The topic of the research reported here is direct user participation in the task-based development of interactive software systems. Building usable so... Lees meer
€ 125,95Levering 1 à 2 weken€ 125,95Levering 1 à 2 weken -
Stochastic Algorithms for Visual Tracking
John Maccormick
- Paperback | Engels | Distinguished Dissertations
- An accessible yet rigorous exposition of particle filtering and the condensation algorithm. Lees meer
€ 139,95Levering 1 à 2 weken€ 139,95Levering 1 à 2 weken -
A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton's Principia
Jacques Fleuriot
- Hardcover | Engels | Distinguished Dissertations
- Sir Isaac Newton's philosophi Naturalis Principia Mathematica'(the Principia) contains a prose-style mixture of geometric and limit reasoning that has... Lees meer
€ 153,95Levering 1 à 2 weken€ 153,95Levering 1 à 2 weken -
Image Mosaicing and Super-Resolution
David Capel
- Paperback | Engels | Distinguished Dissertations
- A comprehensive analysis of techniques used in improving the quality of video images Lees meer
€ 167,95Levering 1 à 2 weken€ 167,95Levering 1 à 2 weken -
Strength or Accuracy: Credit Assignment in Learning Classifier Systems
Tim Kovacs
- Hardcover | Engels | Distinguished Dissertations
- A detailed examination of learning classifier systems (LCS), a form of machine learning system, which incorporates both Evolutionary Algorithms and Re... Lees meer
€ 195,95Levering 1 à 2 weken€ 195,95Levering 1 à 2 weken