Theory and Applications of Models of Computation 9th Annual Conference, TAMC 2012, Beijing, China, May 16-21, 2012. Proceedings - Agrawal, Manindra; Cooper, S. Barry; Li, Angsheng (Springer Berlin Heidelberg, 2012)