Beschreibung
Herstellerkennzeichnung:
Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE
E-Mail: juergen.hartmann@springer.com
Theory and Applications of Satisfiability Testing — SAT 2012
Lieferzeit: Lieferbar innerhalb 14 Tagen
53,49 €
inkl. 7 % MwSt. zzgl. Versandkosten
15th International Conference, Trento, Italy, June 17-20,2012, Proceedings, Lecture Notes in Computer Science 7317 – Theoretical Computer Science and General Issues
| ISBN: | 3642316115 |
|---|---|
| ISBN 13: | 9783642316111 |
| Herausgeber: | Alessandro Cimatti/Roberto Sebastiani |
| Verlag: | Springer Verlag GmbH |
| Umfang: | xiv, 500 S., 364 s/w Illustr., 500 p. 364 illus. |
| Erscheinungsdatum: | 22.06.2012 |
| Auflage: | 1/2012 |
| Produktform: | Kartoniert |
| Einband: | Kartoniert |
Das könnte Ihnen auch gefallen …
-
![Produktbild: Algorithm Theory -- SWAT 2012]()
Algorithm Theory — SWAT 2012
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Computerized Adaptive Testing: Theory and Practice]()
Computerized Adaptive Testing: Theory and Practice
213,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Theory and Applications of Satisfiability Testing - SAT 2013]()
Theory and Applications of Satisfiability Testing – SAT 2013
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Group Testing Theory in Network Security]()
Group Testing Theory in Network Security
53,45 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Sat - Boc]()
Sat – Boc
139,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers]()
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Extremal Colorings and Extremal Satisfiability]()
Extremal Colorings and Extremal Satisfiability
69,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Computerized Adaptive Testing, Theory and Practice]()
Computerized Adaptive Testing, Theory and Practice
149,79 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: SAT, een nieuw concept]()
SAT, een nieuw concept
35,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Wenn der Wind Liebe sät]()
Wenn der Wind Liebe sät
14,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Theory and Applications of Satisfiability Testing - SAT 2017]()
Theory and Applications of Satisfiability Testing – SAT 2017
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Theory and Applications of Satisfiability Testing -- SAT 2015]()
Theory and Applications of Satisfiability Testing — SAT 2015
68,48 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: The Revenge of the Baby-Sat]()
The Revenge of the Baby-Sat
16,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Applications of Power Functions of Permutation Testing]()
Applications of Power Functions of Permutation Testing
35,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Bridging Constraint Satisfaction and Boolean Satisfiability]()
Bridging Constraint Satisfaction and Boolean Satisfiability
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Wer mit Segen sät, wird mit Segen ernten]()
Wer mit Segen sät, wird mit Segen ernten
22,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Wer Wut sät, wird Tod ernten]()
Wer Wut sät, wird Tod ernten
15,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Patch Testing and Prick Testing]()
Patch Testing and Prick Testing
96,29 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Searching for Optimization through Satisfiability]()
Searching for Optimization through Satisfiability
79,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Theory and Application of Satisfiability Testing]()
Theory and Application of Satisfiability Testing
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: WER LEID sät...]()
WER LEID sät…
15,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Was der Mensch sät, das wird er ernten]()
Was der Mensch sät, das wird er ernten
24,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Wer Wut sät, wird Tod ernten]()
Wer Wut sät, wird Tod ernten
24,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Dark Touch - Wer Böses sät]()
Dark Touch – Wer Böses sät
16,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Theory and Applications of Satisfiability Testing]()
Theory and Applications of Satisfiability Testing
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Theory and Applications of Satisfiability Testing - SAT 2014]()
Theory and Applications of Satisfiability Testing – SAT 2014
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Was der Mensch sät, das wird er ernten]()
Was der Mensch sät, das wird er ernten
18,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers]()
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Non-Destructive Testing - Theory, Practice and Industrial Applications]()
Non-Destructive Testing – Theory, Practice and Industrial Applications
38,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Wer Lügen sät]()
Wer Lügen sät
9,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: GMP- Bestellprozesse & FAT-SAT Testaufbau]()
GMP- Bestellprozesse & FAT-SAT Testaufbau
59,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Was man sät]()
Was man sät
11,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Regionalfenster im Programm von RTL und SAT.1]()
Regionalfenster im Programm von RTL und SAT.1
54,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Theory and Applications of Satisfiability Testing - SAT 2020]()
Theory and Applications of Satisfiability Testing – SAT 2020
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Wer Furcht sät]()
Wer Furcht sät
11,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Wer die Zweifel sät]()
Wer die Zweifel sät
18,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Theory and Applications of Satisfiability Testing - SAT 2007]()
Theory and Applications of Satisfiability Testing – SAT 2007
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Patch Testing and Prick Testing]()
Patch Testing and Prick Testing
96,29 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Nondestructive Testing Methods and New Applications]()
Nondestructive Testing Methods and New Applications
129,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Bridging Constraint Satisfaction and Boolean Satisfiability]()
Bridging Constraint Satisfaction and Boolean Satisfiability
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Theory and Applications of Satisfiability Testing - SAT 2006]()
Theory and Applications of Satisfiability Testing – SAT 2006
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Theory and Applications of Satisfiability Testing - SAT 2009]()
Theory and Applications of Satisfiability Testing – SAT 2009
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Zhegalkin Polynomial SAT Solver]()
Zhegalkin Polynomial SAT Solver
39,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Theory and Applications of Satisfiability Testing - SAT 2010]()
Theory and Applications of Satisfiability Testing – SAT 2010
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Le SAT, un nouveau concept]()
Le SAT, un nouveau concept
39,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Wer Zwietracht sät]()
Wer Zwietracht sät
28,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Theory and Applications of Satisfiability Testing - SAT 2018]()
Theory and Applications of Satisfiability Testing – SAT 2018
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Mary Ann Sate, Imbecile]()
Mary Ann Sate, Imbecile
14,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Satisfiability & Verification]()
Satisfiability & Verification
89,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Theory and Applications of Satisfiability Testing - SAT 2021]()
Theory and Applications of Satisfiability Testing – SAT 2021
117,69 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Advances in Educational and Psychological Testing: Theory and Applications]()
Advances in Educational and Psychological Testing: Theory and Applications
213,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Wer Schweigen sät]()
Wer Schweigen sät
11,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Julia Sommer sät aus]()
Julia Sommer sät aus
13,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Julia Sommer sät aus]()
Julia Sommer sät aus
24,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: 2012]()
2012
98,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Testing Challenges in Web-based Applications]()
Testing Challenges in Web-based Applications
49,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Wer Sturm sät]()
Wer Sturm sät
14,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: International Conference on Theory and Application in Nonlinear Dynamics (ICAND 2012)]()
International Conference on Theory and Application in Nonlinear Dynamics (ICAND 2012)
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: 2012]()
2012
84,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Wer Wind sät]()
Wer Wind sät
12,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Web Application Testing And Security Testing Techniques Design]()
Web Application Testing And Security Testing Techniques Design
49,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Sparse Grids and Applications - Munich 2012]()
Sparse Grids and Applications – Munich 2012
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Computational Complexity of SAT, XSAT and NAE-SAT]()
Computational Complexity of SAT, XSAT and NAE-SAT
79,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Verification of Data-Aware Processes via Satisfiability Modulo Theories]()
Verification of Data-Aware Processes via Satisfiability Modulo Theories
70,61 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: CONCUR 2012- Concurrency Theory]()
CONCUR 2012- Concurrency Theory
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Multilevel Techniques for solving the Satisfiability Problem]()
Multilevel Techniques for solving the Satisfiability Problem
59,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Sat. 124.2-141, Anhänge und Register]()
Sat. 124.2-141, Anhänge und Register
129,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Entfernung von Stickstoffverbindungen im SAT-System]()
Entfernung von Stickstoffverbindungen im SAT-System
66,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: GRE SAT Mnemonics]()
GRE SAT Mnemonics
79,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Bellum civile (Sat. 119-124)]()
Bellum civile (Sat. 119-124)
194,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: SAT 2005]()
SAT 2005
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Advances in Educational and Psychological Testing: Theory and Applications]()
Advances in Educational and Psychological Testing: Theory and Applications
213,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Iwasawa Theory 2012]()
Iwasawa Theory 2012
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Patch Testing and Prick Testing]()
Patch Testing and Prick Testing
139,09 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Wer den Sturm sät]()
Wer den Sturm sät
11,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: International Conference on Theory and Application in Nonlinear Dynamics (ICAND 2012)]()
International Conference on Theory and Application in Nonlinear Dynamics (ICAND 2012)
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Wer Güte sät, wird Frieden ernten]()
Wer Güte sät, wird Frieden ernten
12,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Theory and Applications of Satisfiability Testing]()
Theory and Applications of Satisfiability Testing
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: SAT, ein neues Konzept]()
SAT, ein neues Konzept
39,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Theory and Applications of Satisfiability Testing - SAT 2016]()
Theory and Applications of Satisfiability Testing – SAT 2016
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: SAT, un nuovo concetto]()
SAT, un nuovo concetto
39,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Wer Zwietracht sät]()
Wer Zwietracht sät
28,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Wer Angst sät]()
Wer Angst sät
13,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: High Quality Test Pattern Generation and Boolean Satisfiability]()
High Quality Test Pattern Generation and Boolean Satisfiability
109,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Sat. 111-118]()
Sat. 111-118
149,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Wer Verderben sät]()
Wer Verderben sät
17,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: SAT, un nuevo concepto]()
SAT, un nuevo concepto
39,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: 2012]()
2012
270,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Zhegalkin Polynomialer SAT-Löser]()
Zhegalkin Polynomialer SAT-Löser
39,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Iwasawa Theory 2012]()
Iwasawa Theory 2012
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: 1686 Wer Wind sät...]()
1686 Wer Wind sät…
19,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Theory and Applications of Satisfiability Testing - SAT 2019]()
Theory and Applications of Satisfiability Testing – SAT 2019
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Sequences and Their Applications -- SETA 2012]()
Sequences and Their Applications — SETA 2012
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Satisfiability and Model Checking in Team Based Logics]()
Satisfiability and Model Checking in Team Based Logics
27,74 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Key for Testing and Applications of Biomaterials]()
Key for Testing and Applications of Biomaterials
39,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Wer den Wind sät]()
Wer den Wind sät
16,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Wer Zweifel sät]()
Wer Zweifel sät
11,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: 2012]()
2012
10,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Cultural Studies: Sate of the Art]()
Cultural Studies: Sate of the Art
32,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Theory and Applications of Satisfiability Testing]()
Theory and Applications of Satisfiability Testing
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb
