![Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure (eBook, PDF) Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure (eBook, PDF)](https://bilder.buecher.de/produkte/44/44129/44129240m.jpg)
Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure (eBook, PDF)
eBook, PDF
29. März 2011
Vieweg & Teubner
Broschiertes Buch | 53,49 € |
![Wohnen in München. Projekte, Ansätze, Ideen. Wohnbund. Wohnen in München. Projekte, Ansätze, Ideen. Wohnbund.](https://bilder.buecher.de/produkte/26/26371/26371735m.jpg)
![Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure](https://bilder.buecher.de/produkte/32/32419/32419633m.jpg)
Broschiertes Buch
Proof Engines for the Analysis of Hybrid Discrete-Continuous Systems
2011
10. Februar 2011
Vieweg+Teubner / Vieweg+Teubner Verlag
85046007,978-3-8348-1494-4
![Christian Herdeg Christian Herdeg](https://bilder.buecher.de/produkte/24/24011/24011666m.jpg)
Ähnliche Artikel
Ähnlichkeitssuche: Fact®Finder von OMIKRON