Christian Herde grāmatas
Nav atrasti produkti, kas atbilst izvēlei.
-30%
Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure: Proof Engines for the Analysis of Hybrid Discrete-Continuous Systems
59,28 €
84,68 €
-30% ar kodu BOOKS
Piegādātāja noliktavā