Mayr, Ernst W. <br/><br/>
Lectures on Proof Verification and Approximation Algorithms 
edited by Ernst W. Mayr, Hans Jürgen Prömel, Angelika Steger. 
 - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan 
<br/><br/><label>ISBN: </label>9783540697015 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science.; Computer software.; Electronic data processing.; Computational complexity.; Combinatorics.; Mathematical optimization.; Computer Science.; Algorithm Analysis and Problem Complexity.; Discrete Mathematics in Computer Science.; Computation by Abstract Devices.; Combinatorics.; Calculus of Variations and Optimal Control; Optimization.; Numeric Computing.