Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure : Proof Engines for the Analysis of Hybrid Discrete-Continuous Systems

Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure : Proof Engines for the Analysis of Hybrid Discrete-Continuous Systems

Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure : Proof Engines for the Analysis of Hybrid Discrete-Continuous Systems

Barcode: 09783834899491
Brand: Vieweg+Teubner Verlag
Best Priced
sold by Hive Books
Hive Books
£38.24
Visit Store
Hive Books
Hive Books
£38.24
Free
Amazon UK
Amazon UK
Search
eBay UK
eBay UK
Search
Our site contains affiliate links, and we may earn a commission for purchases made through these links at no extra cost to you.This helps support our work in bringing you the best price comparisons.

More From Vieweg+Teubner Verlag

Computational Micromagnetism
Computational Micromagnetism
from £38.24
Relativistic Astrophysics
Relativistic Astrophysics
from £38.24
Locally Convex Spaces
Locally Convex Spaces
from £50.99
Mobile Communications
Mobile Communications
from £38.24
Bioresponse-Linked Instrumental Analysis
Bioresponse-Linked Instrumental Analysis
from £38.24
Algebraic Structures
Algebraic Structures
from £23.79
Manifolds and Modular Forms
Manifolds and Modular Forms
from £38.24
Conjectures in Arithmetic Algebraic Geometry : A Survey
Conjectures in Arithmetic Algebraic Geometry : A Survey
from £50.99
Projection and Quasi-Compressibility Methods for Solving the Incompressible Navier-Stokes Equations
Projection and Quasi-Compressibility Methods for Solving the Incompressible Navier-Stokes Equations
from £38.24
Natural Hazards in West and Central Africa
Natural Hazards in West and Central Africa
from £38.24
The Rhenish Massif : Structure, Evolution, Mineral Deposits and Present Geodynamics
The Rhenish Massif : Structure, Evolution, Mineral Deposits and Present Geodynamics
from £38.24
Groups, Systems and Many-Body Physics
Groups, Systems and Many-Body Physics
from £38.24
Environmental Handbook : Volume II: Documentation on monitoring and evaluating environmental impacts. Agriculture, Mining/Energy, Trade/Industry
Environmental Handbook : Volume II: Documentation on monitoring and evaluating environmental impacts. Agriculture, Mining/Energy, Trade/Industry
from £38.24
Direct and Large Eddy Simulation of Turbulence : Proceedings of the EUROMECH Colloquium No. 199, Munchen, FRG, September 30 to October 2, 1985
Direct and Large Eddy Simulation of Turbulence : Proceedings of the EUROMECH Colloquium No. 199, Munchen, FRG, September 30 to October 2, 1985
from £76.08
Value Distribution Theory for Meromorphic Maps
Value Distribution Theory for Meromorphic Maps
from £38.24
Lectures on Nonlinear Evolution Equations : Initial Value Problem
Lectures on Nonlinear Evolution Equations : Initial Value Problem
from £38.24
Lectures on the Mordell-Weil Theorem
Lectures on the Mordell-Weil Theorem
from £93.08
The Efficiency of Theorem Proving Strategies : A Comparative and Asymptotic Analysis
The Efficiency of Theorem Proving Strategies : A Comparative and Asymptotic Analysis
from £38.24
Geomed '97 : Proceedings of the International Workshop on Geomedical Systems Rostock, Germany, September 1997
Geomed '97 : Proceedings of the International Workshop on Geomedical Systems Rostock, Germany, September 1997
from £76.08
3D-Computation of Incompressible Internal Flows : Proceedings of the GAMM Workshop held at EPFL, 13-15 September 1989, Lausanne, Switzerland
3D-Computation of Incompressible Internal Flows : Proceedings of the GAMM Workshop held at EPFL, 13-15 September 1989, Lausanne, Switzerland
from £38.24

Price History

Excluding delivery costs, shows the lowest price over time.

Other Products You Might Like

The Electronic Structure of Complex Systems
The Electronic Structure of Complex Systems
from £38.24
Logical Analysis of Hybrid Systems : Proving Theorems for Complex Dynamics
Logical Analysis of Hybrid Systems : Proving Theorems for Complex Dynamics
from £76.08
Numerical Methods for Solving Discrete Event Systems : With Applications to Queueing Systems
Numerical Methods for Solving Discrete Event Systems : With Applications to Queueing Systems
from £66.09
Kinetic Logic: A Boolean Approach to the Analysis of Complex Regulatory Systems : Proceedings of the EMBO Course "Formal Analysis of Genetic Regulation", Held in Brussels, September 6-16, 1977
Kinetic Logic: A Boolean Approach to the Analysis of Complex Regulatory Systems : Proceedings of the EMBO Course "Formal Analysis of Genetic Regulation", Held in Brussels, September 6-16, 1977
from £38.24
Agent-Based Hybrid Intelligent Systems : An Agent-Based Framework for Complex Problem Solving
Agent-Based Hybrid Intelligent Systems : An Agent-Based Framework for Complex Problem Solving
from £55.24
Complex Spatial Systems : The Modelling Foundations of Urban and Regional Analysis
Complex Spatial Systems : The Modelling Foundations of Urban and Regional Analysis
from £76.49
Complex Spatial Systems : The Modelling Foundations of Urban and Regional Analysis
Complex Spatial Systems : The Modelling Foundations of Urban and Regional Analysis
from £76.49
Multidisciplinary Methods for Analysis, Optimization and Control of Complex Systems
Multidisciplinary Methods for Analysis, Optimization and Control of Complex Systems
from £76.08
Analysis and Design of Markov Jump Systems with Complex Transition Probabilities
Analysis and Design of Markov Jump Systems with Complex Transition Probabilities
from £76.08
Matrix Analysis of Discrete Elastic Systems : Course held at the Department of Mechanics of Solids, October 1972
Matrix Analysis of Discrete Elastic Systems : Course held at the Department of Mechanics of Solids, October 1972
from £38.24
Analysis Of Complex Nonlinear Mechanical Systems, The: A Computer Algebra Assisted Approach (With Diskette Of Maple Programming)
Analysis Of Complex Nonlinear Mechanical Systems, The: A Computer Algebra Assisted Approach (With Diskette Of Maple Programming)
from £17.60
Advances In Variable Structure Systems: Analysis, Integration And Application - Proceedings Of The 6th Ieee International Workshop On Variable Structure Systems
Advances In Variable Structure Systems: Analysis, Integration And Application - Proceedings Of The 6th Ieee International Workshop On Variable Structure Systems
from £62.40
Performance Analysis and Synthesis for Discrete-Time Stochastic Systems with Network-Enhanced Complexities
Performance Analysis and Synthesis for Discrete-Time Stochastic Systems with Network-Enhanced Complexities
from £44.99
Performance Analysis and Synthesis for Discrete-Time Stochastic Systems with Network-Enhanced Complexities
Performance Analysis and Synthesis for Discrete-Time Stochastic Systems with Network-Enhanced Complexities
from £44.99
Efficient Algorithms for Discrete Wavelet Transform : With Applications to Denoising and Fuzzy Inference Systems
Efficient Algorithms for Discrete Wavelet Transform : With Applications to Denoising and Fuzzy Inference Systems
from £38.24
Computer Methods in the Analysis of Large-Scale Social Systems
Computer Methods in the Analysis of Large-Scale Social Systems
from £56.00
Spatial-Energy Principles of the Processes for Complex Structure Formation
Spatial-Energy Principles of the Processes for Complex Structure Formation
from £164.25
Modeling and Simulation of Complex Systems : A Framework for Efficient Agent-Based Modeling and Simulation
Modeling and Simulation of Complex Systems : A Framework for Efficient Agent-Based Modeling and Simulation
from £67.58
Trainer's Problem-Solving Manual for Kick Down the Door of Complacency : Sieze the Power of Continuous Improvement
Trainer's Problem-Solving Manual for Kick Down the Door of Complacency : Sieze the Power of Continuous Improvement
from £64.79
Trainer's Problem-Solving Manual for Kick Down the Door of Complacency : Sieze the Power of Continuous Improvement
Trainer's Problem-Solving Manual for Kick Down the Door of Complacency : Sieze the Power of Continuous Improvement
from £64.79