Home Advanced Search

Advanced Search - Page 1

FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science: 21st Conference Bangalore, India, December 13–15, 2001 Proceedings
  • PDF
  • English
  • Year: 2001
  • Author: Eric Allender (auth.), Ramesh Hariharan, V. Vinay, Madhavan Mukund (eds.)
Foundations of Software Technology and Theoretical Computer Science: 16th Conference Hyderabad, India, December 18–20, 1996 Proceedings
  • DJVU
  • English
  • Year: 1996
  • Author: Eric Allender (auth.), V. Chandru, V. Vinay (eds.)
Automated Technology for Verification and Analysis: 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Shuyuan Zhang, Sharad Malik, Rick McGeer (auth.), Supratik Chakraborty, Madhavan Mukund (eds.)
Automata, Languages and Programming: 13th International Colloquium Rennes, France, July 15–19, 1986 Proceedings
  • DJVU
  • English
  • Year: 1986
  • Author: Eric W. Allender (auth.), Laurent Kott (eds.)
Fundamentals of Computation Theory: 8th International Conference, FCT '91 Gosen, Germany, September 9–13, 1991 Proceedings
  • DJVU
  • English
  • Year: 1991
  • Author: Eric Allender, Vivek Gore (auth.), L. Budach (eds.)
Programs, Proofs, Processes: 6th Conference on Computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30 – July 4, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Eric Allender (auth.), Fernando Ferreira, Benedikt Löwe, Elvira Mayordomo, Luís Mendes Gomes (eds.)
Programs, Proofs, Processes: 6th Conference on Computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30 – July 4, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Eric Allender (auth.), Fernando Ferreira, Benedikt Löwe, Elvira Mayordomo, Luís Mendes Gomes (eds.)
STACS 90: 7th Annual Symposium on Theoretical Aspects of Computer Science Rouen, France, February 22–24, 1990 Proceedings
  • DJVU
  • English
  • Year: 1990
  • Author: Eric Allender, Richard Beigel, Ulrich Hertrampf, Steven Homer (auth.), Christian Choffrut, Thomas Lengauer (eds.)
Progress in Cryptology - INDOCRYPT 2005: 6th International Conference on Cryptology in India, Bangalore, India, December 10-12, 2005. Proceedings
  • PDF
  • English
  • Year: 2005
  • Author: V. Kumar Murty (auth.), Subhamoy Maitra, C. E. Veni Madhavan, Ramarathnam Venkatesan (eds.)
Foundations of Software Technology and Theoretical Computer Science: Tenth Conference, Bangalore, India December 17–19, 1990 Proceedings
  • DJVU
  • English
  • Year: 1990
  • Author: Tien Huynh, Leo Joskowicz, Catherine Lassez (auth.), Kesav V. Nori, C. E. Veni Madhavan (eds.)
search