Ergebnisse filtern
-
- 94
- 73
-
- 1
- 97
- 2
- 1
- 64
- 1
- 1
-
- 1
- 105
- 61
-
- 167
-
- 167
-
- 167
-
Fitting First-Order Logic and Automated Theorem Proving
1990Verlag: Springer USISBN: 978-1-4684-0357-2Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark82,38 € (inkl. MwSt.)
sofort verfügbar -
Poernomo / Crossley / Wirsing Adapting Proofs-as-Programs
The Curry--Howard Protocol2005Verlag: Springer USISBN: 978-0-387-28183-4Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark149,79 € (inkl. MwSt.)
sofort verfügbar -
Burgin Super-Recursive Algorithms
1. Auflage. Softcover version of original hardcover Auflage 2005Verlag: SpringerISBN: 978-1-4419-3060-6Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
McIver / Morgan Abstraction, Refinement and Proof for Probabilistic Systems
2005. Auflage 2004Verlag: SpringerISBN: 978-0-387-40115-7Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Sampson Adaptive Information Processing
An Introductory SurveySoftcover Nachdruck of the original 1. Auflage 1976Verlag: SpringerISBN: 978-3-642-85503-0Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Burgin Super-Recursive Algorithms
2005Verlag: SpringerISBN: 978-0-387-95569-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Li / Vitanyi An Introduction to Kolmogorov Complexity and Its Applications
1993Verlag: Springer USISBN: 978-1-4757-3860-5Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark85,59 € (inkl. MwSt.)
sofort verfügbar -
Dijkstra Selected Writings on Computing: A personal Perspective
Softcover Nachdruck of the original 1. Auflage 1982Verlag: SpringerISBN: 978-1-4612-5697-7Medium: Buch139,09 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Sherman VLSI Placement and Routing: The PI Project
1989Verlag: Springer USISBN: 978-1-4613-9658-1Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Sherman VLSI Placement and Routing: The PI Project
Softcover Nachdruck of the original 1. Auflage 1989Verlag: SpringerISBN: 978-1-4613-9660-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Gregory / Krishnamurthy Methods and Applications of Error-Free Computation
Softcover Nachdruck of the original 1. Auflage 1984Verlag: SpringerISBN: 978-1-4612-9754-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Selig Geometric Fundamentals of Robotics
Softcover Nachdruck of hardcover 2. Auflage 2005Verlag: SpringerISBN: 978-1-4419-1929-8Medium: Buch80,24 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Salomaa / Soittola Automata-Theoretic Aspects of Formal Power Series
Softcover Nachdruck of the original 1. Auflage 1978Verlag: SpringerISBN: 978-1-4612-6266-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Randell The Origins of Digital Computers
Selected PapersThird Auflage 1982Verlag: SpringerISBN: 978-3-540-11319-5Medium: Buch213,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Preparata / Shamos Computational Geometry
An Introduction1985Verlag: Springer USISBN: 978-1-4612-1098-6Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark90,94 € (inkl. MwSt.)
sofort verfügbar -
Krishnamurthy Error-Free Polynomial Matrix Computations
Softcover Nachdruck of the original 1. Auflage 1985Verlag: SpringerISBN: 978-1-4612-9572-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Gregory / Krishnamurthy Methods and Applications of Error-Free Computation
1984Verlag: Springer USISBN: 978-1-4612-5242-9Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Benosman / Kang Panoramic Vision
Sensors, Theory, and Applications2001. Auflage 2001Verlag: SpringerISBN: 978-0-387-95111-9Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Preparata / Shamos Computational Geometry
An IntroductionSoftcover Nachdruck of the original 1. Auflage 1985Verlag: SpringerISBN: 978-1-4612-7010-2Medium: Buch90,94 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Selig Geometric Fundamentals of Robotics
2. Auflage 2005Verlag: SpringerISBN: 978-0-387-20874-9Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Dijkstra Selected Writings on Computing: A personal Perspective
1982Verlag: Springer USISBN: 978-1-4612-5695-3Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark128,39 € (inkl. MwSt.)
sofort verfügbar -
Krishnamurthy Error-Free Polynomial Matrix Computations
1985Verlag: Springer USISBN: 978-1-4612-5118-7Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Salomaa / Soittola Automata-Theoretic Aspects of Formal Power Series
1978Verlag: Springer USISBN: 978-1-4612-6264-0Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Shamos / Preparata Computational Geometry
An Introduction1. Auflage 1985. Corr. 5th printing 1993Verlag: SpringerISBN: 978-0-387-96131-6Medium: Buch128,39 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Gries / Schneider A Logical Approach to Discrete Math
1993Verlag: SpringerISBN: 978-0-387-94115-8Medium: Buch80,24 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort