Book
Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure
Proof Engines for the Analysis of Hybrid Discrete-Continuous Systems «
Score:
Reviews:
Times tipped:
Times read:
Author(s):
Category:
ISBN
9783834814944
Welcome to Boeklezers.nl
Boeklezers.nl is a network for social reading. We help readers discover new books and authors, and bring readers in contact with each other and with writers. Read more ».
Books related to Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure by Christian Herde
No related books yet.
