Ergebnisse filtern
-
- 30
- 19
-
- 2
- 47
-
- 25
- 24
-
- 49
-
- 48
- 1
-
- 49
- 2
-
Calinescu Architecture-Independent Loop Parallelisation
Erscheinungsjahr 2012Verlag: SpringerISBN: 978-1-4471-0763-7Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark96,29 € (inkl. MwSt.)
sofort verfügbar -
Hofmann Extensional Constructs in Intensional Type Theory
1. Auflage 2011Verlag: SpringerISBN: 978-1-4471-1243-3Medium: Buch149,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Thompson Hardware Evolution
Automatic Design of Electronic Circuits in Reconfigurable Hardware by Artificial Evolution1. Auflage 2012Verlag: SpringerISBN: 978-1-4471-3416-9Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Miguel Dynamic Flexible Constraint Satisfaction and its Application to AI Planning
1. Auflage. 2003Verlag: SpringerISBN: 978-1-85233-764-3Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Fleuriot A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton's Principia
2001Verlag: SpringerISBN: 978-1-85233-466-6Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Greenhalgh Large Scale Collaborative Virtual Environments
1. Auflage 2011Verlag: SpringerISBN: 978-1-4471-1222-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Calinescu Architecture-Independent Loop Parallelisation
1. Auflage 2011Verlag: SpringerISBN: 978-1-4471-1197-9Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bainbridge Asynchronous System-on-Chip Interconnect
Softcover Nachdruck of the original 1. Auflage 2002Verlag: SpringerISBN: 978-1-4471-1112-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
McCusker Games and Full Abstraction for a Functional Metalanguage with Recursive Types
Erscheinungsjahr 2012Verlag: SpringerISBN: 978-1-4471-1165-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bainbridge Asynchronous System-On-Chip Interconnect
2002. Auflage 2002Verlag: SpringerISBN: 978-1-85233-598-4Medium: Buch95,50 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Miguel Dynamic Flexible Constraint Satisfaction and its Application to AI Planning
Erscheinungsjahr 2012Verlag: SpringerISBN: 978-0-85729-378-7Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark96,29 € (inkl. MwSt.)
sofort verfügbar -
O'Neill User-Developer Cooperation in Software Development
Building Common Ground and Usable SystemsErscheinungsjahr 2012Verlag: SpringerISBN: 978-1-4471-0355-4Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark96,29 € (inkl. MwSt.)
sofort verfügbar -
Greenhalgh Large Scale Collaborative Virtual Environments
Erscheinungsjahr 2012Verlag: SpringerISBN: 978-1-4471-0867-2Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark96,29 € (inkl. MwSt.)
sofort verfügbar -
Harrison Theorem Proving with the Real Numbers
Erscheinungsjahr 2012Verlag: SpringerISBN: 978-1-4471-1591-5Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark96,29 € (inkl. MwSt.)
sofort verfügbar -
Capel Image Mosaicing and Super-resolution
Softcover Nachdruck of the original 1. Auflage 2004Verlag: SpringerISBN: 978-1-4471-1049-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bubley Randomized Algorithms: Approximation, Generation, and Counting
2001Verlag: SpringerISBN: 978-1-85233-325-6Medium: Buch85,55 € (inkl. MwSt.)
Kurzfristig nicht lieferbar -
Harrison Theorem Proving with the Real Numbers
1. Auflage 2011Verlag: SpringerISBN: 978-1-4471-1593-9Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Criminisi Accurate Visual Metrology from Single and Multiple Uncalibrated Images
2001Verlag: SpringerISBN: 978-1-85233-468-0Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
MacCormick Stochastic Algorithms for Visual Tracking
Probabilistic Modelling and Stochastic Algorithms for Visual Localisation and TrackingSoftcover Nachdruck of the original 1. Auflage 2002Verlag: SpringerISBN: 978-1-4471-1176-4Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Colton Automated Theory Formation in Pure Mathematics
1. Auflage. 2002Verlag: SpringerISBN: 978-1-85233-609-7Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Hasegawa Models of Sharing Graphs
A Categorical Semantics of let and letrec1. Auflage 2011Verlag: SpringerISBN: 978-1-4471-1221-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Fleuriot A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton's Principia
Erscheinungsjahr 2012Verlag: SpringerISBN: 978-0-85729-329-9Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark96,29 € (inkl. MwSt.)
sofort verfügbar -
Kovacs Strength or Accuracy: Credit Assignment in Learning Classifier Systems
Erscheinungsjahr 2012Verlag: SpringerISBN: 978-0-85729-416-6Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark149,79 € (inkl. MwSt.)
sofort verfügbar -
Capel Image Mosaicing and Super-resolution
Erscheinungsjahr 2012Verlag: SpringerISBN: 978-0-85729-384-8Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark96,29 € (inkl. MwSt.)
sofort verfügbar
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort