Zoeken

U zocht naar: Auteur Herde, Christian Filter Auteur: Herde, Christian weghalen
1 Item gevonden
Aantal zoekresultaten per pagina

Zoekresultaten

1. Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure
thumbnail
Full text!
Auteur:
Herde, Christian
Uitgever:
Vieweg+Teubner 2011
Type:
e-book