Boek
Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure
Proof Engines for the Analysis of Hybrid Discrete-Continuous Systems «
Score:
Aantal recensies:
Aantal keer getipt:
Aantal keer gelezen:
Auteur(s):
Categorie:
ISBN
9783834814944
Welkom op Boeklezers.nl
Boeklezers.nl is een netwerk voor sociaal lezen. Wij helpen lezers nieuwe boeken en schrijvers ontdekken, en brengen lezers met elkaar en schrijvers in contact. Meer lezen »
Recensies van Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure door Christian Herde
Er zijn nog geen recensies voor dit boek.
