000 00944nam a2200145Ia 4500
008 140211s9999 xx 000 0 und d
020 _a9783540697015
100 _aMayr, Ernst W.
245 _aLectures on Proof Verification and Approximation Algorithms
245 _cedited by Ernst W. Mayr, Hans Jürgen Prömel, Angelika Steger.
300 _aOn-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
650 _aComputer 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.
856 4 1 _3Click her to access the e-Book
_uhttp://dx.doi.org/10.1007/BFb0053010
942 _cEB
999 _c115428
_d115428