Beschreibung
Herstellerkennzeichnung:
Springer Vieweg in Springer Science + Business Media
Abraham-Lincoln-Straße 46
65189 Wiesbaden
DE
E-Mail: juergen.hartmann@springer.com
Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure
Lieferzeit: Lieferbar innerhalb 14 Tagen
53,49 €
inkl. 7 % MwSt. zzgl. Versandkosten
Proof Engines for the Analysis of Hybrid Discrete-Continuous Systems
| ISBN: | 3834814946 |
|---|---|
| ISBN 13: | 9783834814944 |
| Autor: | Herde, Christian |
| Verlag: | Springer Vieweg |
| Umfang: | xvii, 163 S., 30 s/w Illustr., 163 p. 30 illus. |
| Erscheinungsdatum: | 10.02.2011 |
| Auflage: | 1/2011 |
| Produktform: | Kartoniert |
| Einband: | Kartoniert |
Das könnte Ihnen auch gefallen …
-
![Produktbild: Advanced Boolean Techniques]()
Advanced Boolean Techniques
117,69 €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: Free Boolean Topological Groups]()
Free Boolean Topological Groups
28,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Arithmetic Tales]()
Arithmetic Tales
80,24 €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: Duality Theories for Boolean Algebras with Operators]()
Duality Theories for Boolean Algebras with Operators
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Constraint Solving and Language Processing]()
Constraint Solving and Language Processing
49,22 €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: Algebraic, Complex, and Arithmetic Dynamics]()
Algebraic, Complex, and Arithmetic Dynamics
299,59 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Arithmetic Geometry]()
Arithmetic Geometry
149,79 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Boolean Representations of Simplicial Complexes and Matroids]()
Boolean Representations of Simplicial Complexes and Matroids
85,59 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Solving Complex Decision Problems]()
Solving Complex Decision Problems
90,94 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Computer Arithmetic]()
Computer Arithmetic
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Large Floating Structures]()
Large Floating Structures
139,09 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Primary Arithmetic]()
Primary Arithmetic
16,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Decentralized Systems with Design Constraints]()
Decentralized Systems with Design Constraints
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Computer Arithmetic]()
Computer Arithmetic
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 Representations of Simplicial Complexes and Matroids]()
Boolean Representations of Simplicial Complexes and Matroids
90,94 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Elementary Arithmetic]()
Elementary Arithmetic
21,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Solving with Bees]()
Solving with Bees
213,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Quantum Arithmetic]()
Quantum Arithmetic
139,09 €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: Introduction to Boolean Algebras]()
Introduction to Boolean Algebras
45,96 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Intellectual Arithmetic]()
Intellectual Arithmetic
17,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Dynamics of Complex Autonomous Boolean Networks]()
Dynamics of Complex Autonomous Boolean Networks
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Physical Arithmetic]()
Physical Arithmetic
26,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Methods of Solving Complex Geometry Problems]()
Methods of Solving Complex Geometry Problems
64,19 €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 Differential Equations]()
Boolean Differential Equations
37,44 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Variable Structure Control of Complex Systems]()
Variable Structure Control of Complex Systems
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Cryptography Arithmetic]()
Cryptography Arithmetic
149,79 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Jenseits der Moralsysteme]()
Jenseits der Moralsysteme
18,41 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Efficient Modeling and Control of Large-Scale Systems]()
Efficient Modeling and Control of Large-Scale Systems
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Coherent Structures in Complex Systems]()
Coherent Structures in Complex Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Coherent Structures in Complex Systems]()
Coherent Structures in Complex Systems
53,49 €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: Semirings for Soft Constraint Solving and Programming]()
Semirings for Soft Constraint Solving and Programming
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: An Elementary Arithmetic]()
An Elementary Arithmetic
22,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Cryptography Arithmetic]()
Cryptography Arithmetic
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Practical Arithmetic]()
Practical Arithmetic
25,90 €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: Kinetic Logic: A Boolean Approach to the Analysis of Complex Regulatory Systems]()
Kinetic Logic: A Boolean Approach to the Analysis of Complex Regulatory Systems
53,49 €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: Solving with Bees]()
Solving with Bees
213,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: An Intellectual Arithmetic]()
An Intellectual Arithmetic
17,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Intelligent Control of Nonlinear Systems and Nonlinear Multi-Agent Systems with Complex Constraints]()
Intelligent Control of Nonlinear Systems and Nonlinear Multi-Agent Systems with Complex Constraints
149,79 €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: Complex Structures]()
Complex Structures
169,95 €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: Solving Complex Decision Problems]()
Solving Complex Decision Problems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Duality Theories for Boolean Algebras with Operators]()
Duality Theories for Boolean Algebras with Operators
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Decentralized Systems with Design Constraints]()
Decentralized Systems with Design Constraints
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: The Electronic Structure of Complex Systems]()
The Electronic Structure of Complex Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: The Arithmetic of Dynamical Systems]()
The Arithmetic of Dynamical Systems
96,29 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Methods of Solving Complex Geometry Problems]()
Methods of Solving Complex Geometry Problems
64,19 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Field Arithmetic]()
Field Arithmetic
246,09 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Constraint Solving and Planning with Picat]()
Constraint Solving and Planning with Picat
58,84 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Efficient Modeling and Control of Large-Scale Systems]()
Efficient Modeling and Control of Large-Scale Systems
160,49 €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: Python Arithmetic]()
Python Arithmetic
171,19 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Boolean Algebras]()
Boolean Algebras
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Mental Arithmetic]()
Mental Arithmetic
16,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: An Elementary Arithmetic]()
An Elementary Arithmetic
17,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Control of Large-Scale Systems Under Information Structure Constraints]()
Control of Large-Scale Systems Under Information Structure Constraints
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: The Electronic Structure of Complex Systems]()
The Electronic Structure of Complex Systems
93,08 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Intelligent Control of Nonlinear Systems and Nonlinear Multi-Agent Systems with Complex Constraints]()
Intelligent Control of Nonlinear Systems and Nonlinear Multi-Agent Systems with Complex Constraints
149,79 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Basic Structures of Function Field Arithmetic]()
Basic Structures of Function Field Arithmetic
139,09 €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 -
![Produktbild: Python Arithmetic]()
Python Arithmetic
171,19 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: The Arithmetic of Dynamical Systems]()
The Arithmetic of Dynamical Systems
69,54 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Arithmetic Geometry]()
Arithmetic Geometry
149,79 €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: Arithmetic Geometry]()
Arithmetic Geometry
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: CMOS Area Efficient Approximate Arithmetic Architectures]()
CMOS Area Efficient Approximate Arithmetic Architectures
35,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Dynamics of Complex Autonomous Boolean Networks]()
Dynamics of Complex Autonomous Boolean Networks
106,99 €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: Complete Arithmetic]()
Complete Arithmetic
25,90 €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: Large Scale Systems: Decentralization, Structure Constraints, and Fixed Modes]()
Large Scale Systems: Decentralization, Structure Constraints, and Fixed Modes
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Arithmetic]()
Arithmetic
119,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Problems in Arithmetic]()
Problems in Arithmetic
16,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Variable Structure Control of Complex Systems]()
Variable Structure Control of Complex Systems
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Progress in Applications of Boolean Functions]()
Progress in Applications of Boolean Functions
35,30 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Mental arithmetic]()
Mental arithmetic
16,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Large Floating Structures]()
Large Floating Structures
192,59 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Boolean Algebra]()
Boolean Algebra
87,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Field Arithmetic]()
Field Arithmetic
246,09 €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: Boolean Functions]()
Boolean Functions
117,69 €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: Bridging Constraint Satisfaction and Boolean Satisfiability]()
Bridging Constraint Satisfaction and Boolean Satisfiability
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: Evolution of Dynamical Structures in Complex Systems]()
Evolution of Dynamical Structures in Complex Systems
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Transient problem for Boolean Monomial Dynamical Systems]()
Transient problem for Boolean Monomial Dynamical Systems
39,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Geometric Constraint Solving and Applications]()
Geometric Constraint Solving and Applications
53,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: Boolean Reasoning]()
Boolean Reasoning
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb
