Theoretical Aspects of Computing - ICTAC 2012 : 9th International Colloquium, Bangalore, India, September 24-27, 2012, Proceedings - Abhik Roychoudhury, Meenakshi D.Souza ((Lecture Notes in Computer Science))