000 00996nam a2200157Ia 4500
008 140211s9999 xx 000 0 und d
020 _a9783642334757
100 _aBaeten, Jos C. M.
245 _aTheoretical Computer Science
245 _b7th IFIP TC 1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012. Proceedings /
245 _cedited by Jos C. M. Baeten, Tom Ball, Frank S. Boer.
300 _aOn-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
650 _aComputer science.; Information theory.; Computer software.; Computational complexity.; Computer Science.; Theory of Computation.; Computation by Abstract Devices.; Mathematical Logic and Formal Languages.; Algorithm Analysis and Problem Complexity.; Discrete Mathematics in Computer Science.; Mathematics of Computing.
856 4 1 _3Click her to access the e-Book
_uhttp://dx.doi.org/10.1007/978-3-642-33475-7
942 _cEB
999 _c118594
_d118594