Lectures on Proof Verification and Approximation Algorithms, Paperback by May...

Mayr - Lectures on Proof Verification and Approximation Algorithms - N - X555z

Logic Synthesis and Verification Algorithms by Hachtel

Approximation Algorithms by Vijay V. Vazirani (2002, Hardcover)

Diophantine Approximation and Abelian Varieties: Introductory Lectures by Bas Ed

The Design of Approximation Algorithms

Approximation and Optimization: Algorithms, Complexity and Applications by Ioann