Lectures on Proof Verification and Approximation Algorithms
Mayr, Ernst W.
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
9783540697015
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.
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
9783540697015
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.