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