Home Advanced Search

Advanced Search - Page 1

FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science: 25th International Conference, Hyderabad, India, December 15-18, 2005. Proceedings

PDF
English
Year: 2005
Author: Krishnendu Chatterjee, Thomas A. Henzinger (auth.), Sundar Sarukkai, Sandeep Sen (eds.)

Formal Modeling and Analysis of Timed Systems: 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings

PDF
English
Year: 2010
Author: Tarek Abdelzaher (auth.), Krishnendu Chatterjee, Thomas A. Henzinger (eds.)

Automated Technology for Verification and Analysis: 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings

PDF
English
Year: 2010
Author: Krishnendu Chatterjee, Thomas A. Henzinger (auth.), Ahmed Bouajjani, Wei-Ngan Chin (eds.)

Automated Technology for Verification and Analysis: 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings

PDF
English
Year: 2010
Author: Krishnendu Chatterjee, Thomas A. Henzinger (auth.), Ahmed Bouajjani, Wei-Ngan Chin (eds.)

Automata, Languages and Programming: 36th Internatilonal Collogquium, ICALP 2009, Rhodes, greece, July 5-12, 2009, Proceedings, Part II

PDF
English
Year: 2009
Author: Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger (auth.), Susanne Albers, Alberto Marchetti-Spaccamela, Yossi Matias, Sotiris Nikoletseas, Wolfgang Thomas (eds.)

Handbook of Logical Thought in India

PDF
English
Author: Sundar Sarukkai (eds.)

Logic and Its Applications: Third Indian Conference, ICLA 2009, Chennai, India, January 7-11, 2009. Proceedings

PDF
English
Year: 2009
Author: Johan van Benthem (auth.), R. Ramanujam, Sundar Sarukkai (eds.)

Indian Philosophy and Philosophy of Science

PDF
English
Year: 2005
Author: Sundar Sarukkai

Philosophy of Symmetry

PDF
English
Year: 2004
Author: Sundar Sarukkai

Translating the world

PDF
English
Year: 2002
Author: Sundar Sarukkai