Beschreibung
Herstellerkennzeichnung:
Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE
E-Mail: juergen.hartmann@springer.com
Lectures on Proof Verification and Approximation Algorithms
Lieferzeit: Lieferbar innerhalb 14 Tagen
53,49 €
inkl. 7 % MwSt. zzgl. Versandkosten
Lecture Notes in Computer Science 1367
| ISBN: | 3540642013 |
|---|---|
| ISBN 13: | 9783540642015 |
| Herausgeber: | Ernst W Mayr/Hans Jürgen Prömel/Angelika Steger |
| Verlag: | Springer Verlag GmbH |
| Umfang: | xii, 348 S. |
| Erscheinungsdatum: | 25.02.1998 |
| Produktform: | Kartoniert |
| Einband: | Kartoniert |
Das könnte Ihnen auch gefallen …
-
![Produktbild: Formal Verification]()
Formal Verification
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Approximation Theory and Algorithms for Data Analysis]()
Approximation Theory and Algorithms for Data Analysis
64,19 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Approximation Algorithms and Semidefinite Programming]()
Approximation Algorithms and Semidefinite Programming
60,98 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Approximation and Online Algorithms]()
Approximation and Online Algorithms
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: Lectures on Runtime Verification]()
Lectures on Runtime Verification
69,54 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Approximation]()
Approximation
24,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Approximation and Online Algorithms]()
Approximation and Online Algorithms
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Approximation Algorithms for Complex Systems]()
Approximation Algorithms for Complex Systems
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Approximation, Randomization and Combinatorial Optimization: Algorithms and Techniques]()
Approximation, Randomization and Combinatorial Optimization: Algorithms and Techniques
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: Tests and Proofs]()
Tests and Proofs
51,36 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Proof]()
Proof
30,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Lecture Notes on Bucket Algorithms]()
Lecture Notes on Bucket Algorithms
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Approximation and Online Algorithms]()
Approximation and Online Algorithms
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Design and Analysis of Approximation Algorithms]()
Design and Analysis of Approximation Algorithms
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Approximation and Online Algorithms]()
Approximation and Online Algorithms
69,54 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques]()
Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Approximation and Online Algorithms]()
Approximation and Online Algorithms
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Randomized Algorithms: Approximation, Generation, and Counting]()
Randomized Algorithms: Approximation, Generation, and Counting
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Proof]()
Proof
10,99 €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: Approximation and Online Algorithms]()
Approximation and Online Algorithms
62,05 €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: Logic Synthesis and Verification Algorithms]()
Logic Synthesis and Verification Algorithms
90,94 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Approximation Algorithms for Combinatorial Optimization]()
Approximation Algorithms for Combinatorial Optimization
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Approximation and Online Algorithms]()
Approximation and Online Algorithms
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: Runtime Verification]()
Runtime Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Trauma Proof]()
Trauma Proof
16,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Approximation and Online Algorithms]()
Approximation and Online Algorithms
62,05 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations]()
Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations
149,79 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Approximation and Online Algorithms]()
Approximation and Online Algorithms
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Approximation and Online Algorithms]()
Approximation and Online Algorithms
42,80 €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: Fingerprint Verification]()
Fingerprint Verification
49,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Design and Analysis of Approximation Algorithms]()
Design and Analysis of Approximation Algorithms
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Approximation Algorithms and Semidefinite Programming]()
Approximation Algorithms and Semidefinite Programming
85,59 €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: Approximation Algorithms]()
Approximation Algorithms
96,29 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Proof Theory]()
Proof Theory
80,24 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Approximation and Online Algorithms]()
Approximation and Online Algorithms
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Rejection Proof]()
Rejection Proof
14,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: 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: Program Verification]()
Program Verification
320,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Proof Theory]()
Proof Theory
80,24 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Approximation and Online Algorithms]()
Approximation and Online Algorithms
62,05 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: BTS: Proof]()
BTS: Proof
29,99 €inkl. 19 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: AI Verification]()
AI Verification
70,61 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Proof Theory]()
Proof Theory
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Approximation and Online Algorithms]()
Approximation and Online Algorithms
51,36 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Approximation Algorithms for Complex Systems]()
Approximation Algorithms for Complex Systems
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Societal Verification]()
Societal Verification
9,80 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Approximation and Online Algorithms]()
Approximation and Online Algorithms
69,54 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Scriptural Proofs]()
Scriptural Proofs
29,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Software Verification]()
Software Verification
58,84 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations]()
Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations
149,79 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Lectures on Constructive Approximation]()
Lectures on Constructive Approximation
85,59 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Proof Patterns]()
Proof Patterns
58,84 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Algorithms for Approximation]()
Algorithms for Approximation
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: Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques]()
Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Algorithms for Approximation]()
Algorithms for Approximation
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Approximation and Online Algorithms]()
Approximation and Online Algorithms
171,19 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Runtime Verification]()
Runtime Verification
74,89 €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: Stochastic Approximation and Recursive Algorithms and Applications]()
Stochastic Approximation and Recursive Algorithms and Applications
213,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Runtime Verification]()
Runtime Verification
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: Absolute Proof]()
Absolute Proof
11,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Approximation and Online Algorithms]()
Approximation and Online Algorithms
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Proof]()
Proof
35,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Age Proof]()
Age Proof
13,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Approximation and Online Algorithms]()
Approximation and Online Algorithms
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Approximation, Randomization and Combinatorial Optimization. Algorithms and Techniques]()
Approximation, Randomization and Combinatorial Optimization. Algorithms and Techniques
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Stochastic Approximation and Recursive Algorithms and Applications]()
Stochastic Approximation and Recursive Algorithms and Applications
213,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Verification Plans]()
Verification Plans
171,19 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Approximation and Online Algorithms]()
Approximation and Online Algorithms
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: Age Proof]()
Age Proof
18,00 €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: Approximation and Online Algorithms]()
Approximation and Online Algorithms
51,36 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Runtime Verification]()
Runtime Verification
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: Tests and Proofs]()
Tests and Proofs
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Final Proof]()
Final Proof
29,90 €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: Runtime Verification]()
Runtime Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Proof]()
Proof
17,90 €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: Approximation Algorithms]()
Approximation Algorithms
69,54 €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: Lectures on Complex Approximation]()
Lectures on Complex Approximation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Adaptive Algorithms and Stochastic Approximations]()
Adaptive Algorithms and Stochastic Approximations
139,09 €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: Proof]()
Proof
17,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Absolute Proof]()
Absolute Proof
19,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Efficient Approximation and Online Algorithms]()
Efficient Approximation and Online Algorithms
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb
