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.)
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.)
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
What is science
  • PDF
  • English
  • Year: 2012
  • Author: Sundar Sarukkai
JRD Tata and the Ethics of Philanthropy
  • PDF
  • English
  • Year: 2020
  • Author: Sundar Sarukkai
Science, Knowledge and Society
  • PDF
  • English
  • Year: 1999
  • Author: Sundar Sarukkai
search