Efficient Solving of Large Arithmetic Constraint Systems with... - 9783834814944

The Arithmetic of Dynamical Systems by J.H. Silverman Springer Mathematics

Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean St

Silverman - Arithmetic of Dynamical Systems - New hardback or cased bo - X555z

Silverman - Arithmetic of Dynamical Systems - New paperback or softbac - X555z

Molahosseini - Embedded Systems Design with Special Arithmetic and Num - X555z

Zhou - Constraint Solving and Planning with Picat - New paperback or s - X555z

Brderlin - Geometric Constraint Solving and Applications - New paperb - X555z