Home Advanced Search

Advanced Search - Page 1

Hardware and Software: Verification and Testing: Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007. Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: Alan J. Hu (auth.), Karen Yorav (eds.)
Hardware and Software: Verification and Testing: Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007. Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: Alan J. Hu (auth.), Karen Yorav (eds.)
Hardware and Software: Verification and Testing: Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007. Proceedings
  • DJVU
  • English
  • Year: 2008
  • Author: Alan J. Hu (auth.), Karen Yorav (eds.)
Hardware and Software: Verification and Testing: 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Daniel Jackson (auth.), Hana Chockler, Alan J. Hu (eds.)
Computer Aided Verification: 10th International Conference, CAV'98 Vancouver, BC, Canada, June 28 – July 2, 1998 Proceedings
  • DJVU
  • English
  • Year: 1998
  • Author: Nicolas Halbwachs (auth.), Alan J. Hu, Moshe Y. Vardi (eds.)
Formal Methods in Computer-Aided Design: 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004. Proceedings
  • PDF
  • English
  • Year: 2004
  • Author: Wayne Wolf (auth.), Alan J. Hu, Andrew K. Martin (eds.)
Formal Methods in Computer-Aided Design: 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004. Proceedings
  • DJVU
  • English
  • Year: 2004
  • Author: Wayne Wolf (auth.), Alan J. Hu, Andrew K. Martin (eds.)
Formal Methods in Computer-Aided Design: 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004. Proceedings
  • PDF
  • English
  • Year: 2004
  • Author: Wayne Wolf (auth.), Alan J. Hu, Andrew K. Martin (eds.)
Hardware and Software: Verification and Testing: 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008, ... / Programming and Software Engineering)
  • PDF
  • English
  • Year: 2009
  • Author: Hana Chockler, Alan J. Hu
Reactive Modifiers for Polymers
  • PDF
  • English
  • Year: 1997
  • Author: G.-H. Hu, J.-J. Flat, M. Lambla (auth.), S. Al-Malaika (eds.)
search