Lectures on Proof Verification and Approximation Algorithms
Ernst W. Mayr Ernst W Mayr; H. J Prömel; Angelika Steger; G Goos; J Hartmanis; Hans Jürgen Prömel
Springer Berlin Heidelberg 1998
Acesso online. A biblioteca também possui exemplares impressos.