Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure - bib.howest.be

Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure

Type:: e-book
Titel:: Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure
Auteur:: Herde, Christian
Taal:: Engels
Uitgever:: Vieweg+Teubner 2011
ISBN:: 3-8348-1494-6
3-8348-9949-6
Onderwerp:: Information Technology Computer Science (Hardware & Networks)
Permalink:: http://bibtest.howest.be/catalog/ebk03:2670000000076077