Beschreibung
Herstellerkennzeichnung:
Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE
E-Mail: juergen.hartmann@springer.com
Certified Programs and Proofs
Lieferzeit: Lieferbar innerhalb 14 Tagen
53,49 €
inkl. 7 % MwSt. zzgl. Versandkosten
Second International Conference, CPP 2012, Kyoto, Japan, December 13-15,2012, Proceedings, Lecture Notes in Computer Science 7679 – Theoretical Computer Science and General Issues
| ISBN: | 364235307X |
|---|---|
| ISBN 13: | 9783642353079 |
| Herausgeber: | Chris Hawblitzel/Dale Miller |
| Verlag: | Springer Verlag GmbH |
| Umfang: | x, 305 S., 64 s/w Illustr., 305 p. 64 illus. |
| Erscheinungsdatum: | 01.11.2012 |
| Auflage: | 1/2012 |
| Produktform: | Kartoniert |
| Einband: | Kartoniert |
Das könnte Ihnen auch gefallen …
-
![Produktbild: Proof]()
Proof
30,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Applied Proof Theory: Proof Interpretations and Their Use in Mathematics]()
Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
139,09 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Mathematical Problems and Proofs]()
Mathematical Problems and Proofs
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Proof Patterns]()
Proof Patterns
58,84 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Proof of Conspiracy]()
Proof of Conspiracy
18,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Absolute Proof]()
Absolute Proof
19,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Age Proof]()
Age Proof
18,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Tests and Proofs]()
Tests and Proofs
51,36 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Proof Theory]()
Proof Theory
80,24 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Types for Proofs and Programs]()
Types for Proofs and Programs
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Proof Theory]()
Proof Theory
139,09 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: People, Problems, and Proofs]()
People, Problems, and Proofs
48,14 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Rewriting, Computation and Proof]()
Rewriting, Computation and Proof
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Aristotele's Modal Proofs]()
Aristotele’s Modal Proofs
139,09 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Tests and Proofs]()
Tests and Proofs
49,22 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Proof, Computation and Agency]()
Proof, Computation and Agency
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Patient safety management in certified and non certified hospitals]()
Patient safety management in certified and non certified hospitals
64,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Explanation and Proof in Mathematics]()
Explanation and Proof in Mathematics
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Sets, Models and Proofs]()
Sets, Models and Proofs
35,30 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Tests and Proofs]()
Tests and Proofs
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Tests and Proofs]()
Tests and Proofs
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Termination Proofs for Logic Programs]()
Termination Proofs for Logic Programs
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: People, Problems, and Proofs]()
People, Problems, and Proofs
48,14 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Programs, Proofs, Processes]()
Programs, Proofs, Processes
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Proof of Collusion]()
Proof of Collusion
19,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Mathematical Problems and Proofs]()
Mathematical Problems and Proofs
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Proof of Heaven]()
Proof of Heaven
23,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Writing Proofs in Analysis]()
Writing Proofs in Analysis
64,19 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Knowledge, Proof and Dynamics]()
Knowledge, Proof and Dynamics
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Tests and Proofs]()
Tests and Proofs
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Types for Proofs and Programs]()
Types for Proofs and Programs
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Proof Theory]()
Proof Theory
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Certified Rating Analyst]()
Certified Rating Analyst
54,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Proof]()
Proof
17,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Certified Programs and Proofs]()
Certified Programs and Proofs
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Objectivity, Realism, and Proof]()
Objectivity, Realism, and Proof
139,09 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Certified Programs and Proofs]()
Certified Programs and Proofs
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Rabbit-Proof Fence]()
Rabbit-Proof Fence
15,50 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Proofs and Fundamentals]()
Proofs and Fundamentals
69,54 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: BTS: Proof]()
BTS: Proof
29,99 €inkl. 19 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Tests and Proofs]()
Tests and Proofs
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Proof Theory]()
Proof Theory
80,24 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Tests and Proofs]()
Tests and Proofs
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Proof of Heaven]()
Proof of Heaven
22,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Adapting Proofs-as-Programs]()
Adapting Proofs-as-Programs
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Proof and Computation]()
Proof and Computation
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Canonical Equational Proofs]()
Canonical Equational Proofs
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Tests and Proofs]()
Tests and Proofs
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Resolution Proof Systems]()
Resolution Proof Systems
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Objectivity, Realism, and Proof]()
Objectivity, Realism, and Proof
139,09 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Proof]()
Proof
10,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Social proof influences]()
Social proof influences
49,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Tests and Proofs]()
Tests and Proofs
51,36 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Types for Proofs and Programs]()
Types for Proofs and Programs
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Tests and Proofs]()
Tests and Proofs
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Tests and Proofs]()
Tests and Proofs
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Tests and Proofs]()
Tests and Proofs
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Proof and System-Reliability]()
Proof and System-Reliability
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Tests and Proofs]()
Tests and Proofs
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Absolute Proof]()
Absolute Proof
11,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Knowledge, Proof and Dynamics]()
Knowledge, Proof and Dynamics
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Proof Theory]()
Proof Theory
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Explanation and Proof in Mathematics]()
Explanation and Proof in Mathematics
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Age Proof]()
Age Proof
13,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Scriptural Proofs]()
Scriptural Proofs
29,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: The Eco-Certified Child]()
The Eco-Certified Child
64,19 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Don't Panic and Get Certified]()
Don’t Panic and Get Certified
5,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Types for Proofs and Programs]()
Types for Proofs and Programs
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Many Convincing Proofs]()
Many Convincing Proofs
189,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Types for Proofs and Programs]()
Types for Proofs and Programs
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Aristotle's Modal Proofs]()
Aristotle’s Modal Proofs
139,09 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Many Infallible Proofs]()
Many Infallible Proofs
25,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Proof]()
Proof
17,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Proof]()
Proof
35,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Bullet Proof World]()
Bullet Proof World
59,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Advances in Proof Theory]()
Advances in Proof Theory
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Tests and Proofs]()
Tests and Proofs
149,79 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Final Proof]()
Final Proof
29,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Rejection Proof]()
Rejection Proof
14,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Types for Proofs and Programs]()
Types for Proofs and Programs
48,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Advances in Proof Theory]()
Advances in Proof Theory
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Das Future-Proof-Mindset]()
Das Future-Proof-Mindset
22,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Resolution Proof Systems]()
Resolution Proof Systems
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Tests and Proofs]()
Tests and Proofs
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Truth, Proof and Infinity]()
Truth, Proof and Infinity
192,59 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Applied Proof Theory: Proof Interpretations and their Use in Mathematics]()
Applied Proof Theory: Proof Interpretations and their Use in Mathematics
139,09 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Tests and Proofs]()
Tests and Proofs
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Final Proof]()
Final Proof
49,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Proof of Collusion]()
Proof of Collusion
14,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Proofs and Fundamentals]()
Proofs and Fundamentals
64,15 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Types for Proofs and Programs]()
Types for Proofs and Programs
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Adapting Proofs-as-Programs]()
Adapting Proofs-as-Programs
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Types for Proofs and Programs]()
Types for Proofs and Programs
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Many Infallible Proofs]()
Many Infallible Proofs
25,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Types for Proofs and Programs]()
Types for Proofs and Programs
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Human Interactive Proofs]()
Human Interactive Proofs
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Ontological Proofs Today]()
Ontological Proofs Today
250,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Vorbereitung auf die Prüfung zum Certified ScrumMaster]()
Vorbereitung auf die Prüfung zum Certified ScrumMaster
98,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Trauma Proof]()
Trauma Proof
16,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Writing Proofs in Analysis]()
Writing Proofs in Analysis
90,94 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb
