Beschreibung
Herstellerkennzeichnung:
Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE
E-Mail: juergen.hartmann@springer.com
High Quality Test Pattern Generation and Boolean Satisfiability
Lieferzeit: Lieferbar innerhalb 14 Tagen
109,99 €
inkl. 7 % MwSt. zzgl. Versandkosten
| ISBN: | 1489988475 |
|---|---|
| ISBN 13: | 9781489988478 |
| Autor: | Eggersglüß, Stephan/Drechsler, Rolf |
| Verlag: | Springer Verlag GmbH |
| Umfang: | xviii, 193 S. |
| Erscheinungsdatum: | 20.10.2014 |
| Auflage: | 1/2014 |
| Produktform: | Kartoniert |
| Einband: | Kartoniert |
Das könnte Ihnen auch gefallen …
-
![Produktbild: Boolean Constructions in Universal Algebras]()
Boolean Constructions in Universal Algebras
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Theory and Applications of Satisfiability Testing -- SAT 2012]()
Theory and Applications of Satisfiability Testing — SAT 2012
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Satisfiability & Verification]()
Satisfiability & Verification
89,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Robustness and Usability in Modern Design Flows]()
Robustness and Usability in Modern Design Flows
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Timed Boolean Functions]()
Timed Boolean Functions
106,99 €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: 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: Advanced Boolean Techniques]()
Advanced Boolean Techniques
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Boolean algebra]()
Boolean algebra
26,66 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Boolean Reasoning]()
Boolean Reasoning
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Ein Experimentierkasten zum Thema Lumineszenz]()
Ein Experimentierkasten zum Thema Lumineszenz
76,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Das gibt's nur hier Berlin]()
Das gibt’s nur hier Berlin
9,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Test Pattern Generation using Boolean Proof Engines]()
Test Pattern Generation using Boolean Proof Engines
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Tournament Theory - Basic Model, Theoretical Implications, and Empirical Evidence]()
Tournament Theory – Basic Model, Theoretical Implications, and Empirical Evidence
18,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: In-Memory Computing]()
In-Memory Computing
106,99 €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: Automated Analysis of Virtual Prototypes at the Electronic System Level]()
Automated Analysis of Virtual Prototypes at the Electronic System Level
85,59 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Recent Findings in Boolean Techniques]()
Recent Findings in Boolean Techniques
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Towards One-Pass Synthesis]()
Towards One-Pass Synthesis
93,08 €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: Reversible and Quantum Circuits]()
Reversible and Quantum Circuits
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: In-Memory Computing]()
In-Memory Computing
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Free Boolean Topological Groups]()
Free Boolean Topological Groups
28,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Introduction to Boolean Algebras]()
Introduction to Boolean Algebras
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Debugging at the Electronic System Level]()
Debugging at the Electronic System Level
106,99 €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: Boolean Functions]()
Boolean Functions
117,69 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes]()
Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes
128,39 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Binary Decision Diagrams]()
Binary Decision Diagrams
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Boolean Algebras in Analysis]()
Boolean Algebras in Analysis
213,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Advanced Boolean Techniques]()
Advanced Boolean Techniques
117,69 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Debugging at the Electronic System Level]()
Debugging at the Electronic System Level
106,99 €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: Reversible and Quantum Circuits]()
Reversible and Quantum Circuits
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Advanced Boolean Techniques]()
Advanced Boolean Techniques
117,69 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: High Quality Test Pattern Generation]()
High Quality Test Pattern Generation
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Robustness and Usability in Modern Design Flows]()
Robustness and Usability in Modern Design Flows
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Test Pattern Generation using Boolean Proof Engines]()
Test Pattern Generation using Boolean Proof Engines
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Analysis of Virtual Prototypes at the Electronic System Level]()
Automated Analysis of Virtual Prototypes at the Electronic System Level
85,59 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Design for Testability, Debug and Reliability]()
Design for Testability, Debug and Reliability
117,69 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Boolean Function Complexity]()
Boolean Function Complexity
117,69 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Countable Boolean Algebras and Decidability]()
Countable Boolean Algebras and Decidability
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Lectures on Boolean Algebras]()
Lectures on Boolean Algebras
74,89 €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 2021]()
Theory and Applications of Satisfiability Testing – SAT 2021
117,69 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Specification Level]()
Formal Specification Level
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Introduction to Boolean Algebras]()
Introduction to Boolean Algebras
45,96 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Towards a Design Flow for Reversible Logic]()
Towards a Design Flow for Reversible Logic
106,99 €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: Boolean Constructions in Universal Algebras]()
Boolean Constructions in Universal Algebras
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Recent Findings in Boolean Techniques]()
Recent Findings in Boolean Techniques
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Quality-Driven SystemC Design]()
Quality-Driven SystemC Design
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Towards a Design Flow for Reversible Logic]()
Towards a Design Flow for Reversible Logic
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Boolean Valued Analysis]()
Boolean Valued Analysis
128,39 €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: Unemployment and Labor Market Rigidities]()
Unemployment and Labor Market Rigidities
38,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Boolean Function Complexity]()
Boolean Function Complexity
85,59 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Design for Testability, Debug and Reliability]()
Design for Testability, Debug and Reliability
117,69 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes]()
Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes
128,39 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Verification of Circuits]()
Formal Verification of Circuits
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Binary Decision Diagrams]()
Binary Decision Diagrams
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Design für Testbarkeit, Fehlersuche und Zuverlässigkeit]()
Design für Testbarkeit, Fehlersuche und Zuverlässigkeit
109,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Timed Boolean Functions]()
Timed Boolean Functions
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Towards One-Pass Synthesis]()
Towards One-Pass Synthesis
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Boolean Algebras in Analysis]()
Boolean Algebras in Analysis
213,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Specification Level]()
Formal Specification Level
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Visualising Boolean Set Operations]()
Visualising Boolean Set Operations
79,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Entwicklung und Auslegung von Flüssig-Flüssig Bioextraktionsprozessen]()
Entwicklung und Auslegung von Flüssig-Flüssig Bioextraktionsprozessen
48,80 €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: Towards One-Pass Synthesis]()
Towards One-Pass Synthesis
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Test digitaler Schaltkreise]()
Test digitaler Schaltkreise
89,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Verification of Circuits]()
Formal Verification of Circuits
160,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: 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: 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: High-Utility Pattern Mining]()
High-Utility Pattern Mining
106,99 €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: Software Test Cases Generation]()
Software Test Cases Generation
68,00 €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: Bridging Constraint Satisfaction and Boolean Satisfiability]()
Bridging Constraint Satisfaction and Boolean Satisfiability
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Quality-Driven SystemC Design]()
Quality-Driven SystemC Design
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Boolean Differential Equations]()
Boolean Differential Equations
37,44 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Boolean Algebra]()
Boolean Algebra
87,90 €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: Nearly Projective Boolean Algebras]()
Nearly Projective Boolean Algebras
48,14 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Boolean Functions and Computation Models]()
Boolean Functions and Computation Models
80,20 €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: Boolean Differential Calculus]()
Boolean Differential Calculus
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automatisierte Analyse von virtuellen Prototypen auf der Ebene elektronischer Systeme]()
Automatisierte Analyse von virtuellen Prototypen auf der Ebene elektronischer Systeme
109,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Unemployment and Labor Market Rigidities]()
Unemployment and Labor Market Rigidities
42,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Evolutionary Algorithms for VLSI CAD]()
Evolutionary Algorithms for VLSI CAD
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Advanced Boolean Techniques]()
Advanced Boolean Techniques
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Boolean Algebras]()
Boolean Algebras
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: Graphenbasierte Funktionsdarstellung]()
Graphenbasierte Funktionsdarstellung
49,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Evolutionary Algorithms for VLSI CAD]()
Evolutionary Algorithms for VLSI CAD
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Boolean Calculus of Differences]()
Boolean Calculus of Differences
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: In-Memory-Computing]()
In-Memory-Computing
109,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Reasoning in Boolean Networks]()
Reasoning in Boolean Networks
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb
