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 verfasst von Christian Herde und veröffentlicht von Vieweg+Teubner Verlag. Die Digital- und eTextbook-ISBNs für Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure lauten 9783834899491, 3834899496 und die Druck-ISBNs lauten 9783834814944, 3834814946. Spare durch digitales Arbeiten mit VitalSource bis zu 80% gegenüber Druck.

Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure: Proof Engines for the Analysis of Hybrid Discrete-Continuous Systems verfasst von Christian Herde und veröffentlicht von Vieweg+Teubner Verlag. Die Digital- und eTextbook-ISBNs für Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure lauten 9783834899491, 3834899496 und die Druck-ISBNs lauten 9783834814944, 3834814946. Spare durch digitales Arbeiten mit VitalSource bis zu 80% gegenüber Druck.