Title: FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
Subjects: Logic design, Computational complexity, Computer science, Computer software