Home Advanced Search

Advanced Search - Page 1

Developments in Language Theory: 10th International Conference, DLT 2006, Santa Barbara, CA, USA, June 26-29, 2006. Proceedings
  • PDF
  • English
  • Year: 2006
  • Author: Rajeev Alur, P. Madhusudan (auth.), Oscar H. Ibarra, Zhe Dang (eds.)
Automated Technology for Verification and Analysis: Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004. Proceedings
  • PDF
  • English
  • Year: 2004
  • Author: Rajeev Alur (auth.), Farn Wang (eds.)
Automated Technology for Verification and Analysis: Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004. Proceedings
  • PDF
  • English
  • Year: 2004
  • Author: Rajeev Alur (auth.), Farn Wang (eds.)
Hybrid Systems: Computation and Control: 7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004. Proceedings
  • PDF
  • English
  • Year: 2004
  • Author: Manindra Agrawal, P. S. Thiagarajan (auth.), Rajeev Alur, George J. Pappas (eds.)
Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004. Proceedings
  • PDF
  • English
  • Year: 2004
  • Author: Doron Peled (auth.), Rajeev Alur, Doron A. Peled (eds.)
Algebraic Methodology and Software Technology: 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: Rajeev Alur (auth.), José Meseguer, Grigore Roşu (eds.)
Implementation and Application of Automata: 11th International Conference, CIAA 2006, Taipei, Taiwan, August 21-23, 2006. Proceedings
  • PDF
  • English
  • Year: 2006
  • Author: Ming Li (auth.), Oscar H. Ibarra, Hsu-Chun Yen (eds.)
Algorithms and Computation: 9th International Symposium, ISAAC’98 Taejon, Korea, December 14–16, 1998 Proceedings
  • PDF
  • English
  • Year: 1998
  • Author: Bernard Chazelle (auth.), Kyung-Yong Chwa, Oscar H. Ibarra (eds.)
Computing and Combinatorics: 8th Annual International Conference, COCOON 2002 Singapore, August 15–17, 2002 Proceedings
  • PDF
  • English
  • Year: 2002
  • Author: Gene Myers Ph.D (auth.), Oscar H. Ibarra, Louxin Zhang (eds.)
Implementation and Application of Automata: 11th International Conference, CIAA 2006, Taipei, Taiwan, August 21-23, 2006. Proceedings
  • PDF
  • English
  • Year: 2006
  • Author: Ming Li (auth.), Oscar H. Ibarra, Hsu-Chun Yen (eds.)
search