FSTTCS 2005: foundations of software technology and theoretical computer science / 25th International Conference, Hyderabad, India, December 15-18, 2005, Proceedings - Sen, Sandeep; Ramanujam, R. (Lecture Notes in Computer Science,)