Theory and Applications of Models of Computation : 5th International Conference, TAMC 2008, Xi'an, China, April 25-29, 2008, Proceedings - Manindra Agrawal, Dingzhu Du, Zhenhua Duan, Angsheng Li ((Lecture Notes in Computer Science))