Ergebnisse filtern
-
- 76
- 71
-
- 1
- 124
- 2
- 1
- 17
- 1
- 1
-
- 1
- 100
- 46
-
- 147
-
- 147
-
- 147
-
Fitting First-Order Logic and Automated Theorem Proving
Erscheinungsjahr 2012Verlag: SpringerISBN: 978-1-4684-0357-2Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark82,38 € (inkl. MwSt.)
sofort verfügbar -
Mishra Algorithmic Algebra
Erscheinungsjahr 2012Verlag: SpringerISBN: 978-1-4612-4344-1Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Grune / Jacobs Parsing Techniques
A Practical Guide2. Auflage 2008Verlag: Springer USISBN: 978-0-387-68954-8Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark223,63 € (inkl. MwSt.)
sofort verfügbar -
Sampson Adaptive Information Processing
An Introductory Survey1976Verlag: SpringerISBN: 978-3-642-85501-6Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark96,29 € (inkl. MwSt.)
sofort verfügbar -
Bronstein / Kimmel Numerical Geometry of Non-Rigid Shapes
1. Auflage 2008Verlag: SpringerISBN: 978-0-387-73301-2Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Gries / Schneider A Logical Approach to Discrete Math
1993Verlag: SpringerISBN: 978-1-4757-3837-7Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Moll / Arbib / Kfoury An Introduction to Formal Language Theory
1. Auflage 2012Verlag: SpringerISBN: 978-1-4613-9597-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Cantone / Omodeo / Policriti Set Theory for Computing
From Decision Procedures to Declarative Programming with SetsErscheinungsjahr 2013Verlag: Springer USISBN: 978-1-4757-3452-2Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark149,79 € (inkl. MwSt.)
sofort verfügbar -
Snepscheut What Computing Is All About
Erscheinungsjahr 2012Verlag: SpringerISBN: 978-1-4612-2710-6Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark82,38 € (inkl. MwSt.)
sofort verfügbar -
Mishra Algorithmic Algebra
1. Auflage 2011Verlag: SpringerISBN: 978-1-4612-8742-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Francez Fairness
Erscheinungsjahr 2012Verlag: SpringerISBN: 978-1-4612-4886-6Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Li / Vitanyi An Introduction to Kolmogorov Complexity and Its Applications
Erscheinungsjahr 2013Verlag: SpringerISBN: 978-1-4757-3860-5Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark85,59 € (inkl. MwSt.)
sofort verfügbar -
Gregory / Krishnamurthy Methods and Applications of Error-Free Computation
Erscheinungsjahr 2012Verlag: SpringerISBN: 978-1-4612-5242-9Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Mishra Algorithmic Algebra
1993Verlag: SpringerISBN: 978-0-387-94090-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Morgan / McIver Abstraction, Refinement and Proof for Probabilistic Systems
1. Auflage. Softcover version of original hardcover Auflage 2005Verlag: SpringerISBN: 978-1-4419-2312-7Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bhanu / Yingqiang / Krawiec Evolutionary Synthesis of Pattern Recognition Systems
1. Auflage 2006Verlag: Springer USISBN: 978-0-387-24452-5Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark149,79 € (inkl. MwSt.)
sofort verfügbar -
Burgin Super-Recursive Algorithms
2005Verlag: Springer USISBN: 978-0-387-26806-4Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark96,29 € (inkl. MwSt.)
sofort verfügbar -
McIver / Morgan Abstraction, Refinement and Proof for Probabilistic Systems
2005. Auflage 2004Verlag: SpringerISBN: 978-0-387-40115-7Medium: Buch163,50 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
McIver / Morgan Abstraction, Refinement and Proof for Probabilistic Systems
1. Auflage 2005Verlag: Springer USISBN: 978-0-387-27006-7Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark149,79 € (inkl. MwSt.)
sofort verfügbar -
Sherman VLSI Placement and Routing: The PI Project
Erscheinungsjahr 2012Verlag: SpringerISBN: 978-1-4613-9658-1Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Poernomo / Crossley / Wirsing Adapting Proofs-as-Programs
The Curry--Howard Protocol1. Auflage 2007Verlag: Springer USISBN: 978-0-387-28183-4Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark149,79 € (inkl. MwSt.)
sofort verfügbar -
Gregory / Krishnamurthy Methods and Applications of Error-Free Computation
1. Auflage 2011Verlag: SpringerISBN: 978-1-4612-9754-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Sherman VLSI Placement and Routing: The PI Project
1. Auflage 2012Verlag: SpringerISBN: 978-1-4613-9660-4Medium: Buch53,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 -
Dijkstra Selected Writings on Computing: A personal Perspective
Erscheinungsjahr 2011Verlag: SpringerISBN: 978-1-4612-5697-7Medium: Buch139,09 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort