E-book
Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure Proof Engines for the Analysis of Hybrid Discrete-Continuous Systems
Record details
- ISBN: 9783834899491
-
Physical Description:
electronic
electronic resource
access
remote
XVII, 163p. 30 illus. digital. - Publisher: Wiesbaden : Vieweg+Teubner, 2011.
Search for related items by subject
| Subject: | Computer science Computer Science Computer Science, general |
