Home Advanced Search

Advanced Search - Page 1

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: 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.)
Foundations and Applications of Decision Theory: Volume I Theoretical Foundations
  • PDF
  • English
  • Year: 1978
  • Author: Andrew K. Bjerring (auth.), Clifford Alan Hooker, James J. Leach, Edward Francis >McClennen (eds.)
Lie Methods in Optics: Proceedings of the CIFMO-CIO Workshop Held at León, México, January 7–10, 1985
  • PDF
  • English
  • Year: 1986
  • Author: Walter Schempp (auth.), J. Sánchez Mondragón, K. B. Wolf (eds.)
search