Non-Fiction, Computing & Internet
Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure

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

Paperback Published on: 10/02/2011
£44.99
No reviews yet, be the first
Free UK delivery on orders over £25
We can order this from the publisher
Usually dispatched within 3 weeks
Make and edit your lists in your account
No stock available in any shop.
We can order this from the publisher
Usually dispatched within 3 weeks
No stock available in any shop.

Publisher information

  • Publisher: Springer Fachmedien Wiesbaden
  • ISBN: 9783834814944
  • Number of pages: 163
  • Dimensions: 210 x 148 mm
  • Languages: English

Customer Reviews

You may also like...

Computability Theory
S. Barry Cooper
£105
Cryptanalysis
Helen Fouche Gaines
£13.49
Quantum Computer Science
N. David Mermin
£54.99
Data Structures and Network Algorithms
Robert Endre Tarjan
£55.00
An Introduction to Modern Mathematical Computing
Jonathan M. Borwein
£44.99
Data Structures and Algorithms
Alfred V. Aho
£80.99
Data Analysis with Open Source Tools
Philipp K. Janert
£31.99
MATLAB Demystified
David McMahon
£26.99
Integer Programming and Combinatorial Optimization
George Nemhauser
£44.99
Probability Models
John Haigh
£29.99
Computational Geometry
Mark de Berg
£48.99
Numerical Recipes 3rd Edition
William H. Press
£104
An Invitation to 3-D Vision
Yi Ma
£70.50
Discrete Mathematics for Computing
Peter Grossman
£69.99
Turing Computability
Robert I. Soare
£74.99
Introduction to Lattices and Order
B. A. Davey
£44.99