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.)

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.)

Reactive Modifiers for Polymers

PDF
English
Year: 1997
Author: G.-H. Hu, J.-J. Flat, M. Lambla (auth.), S. Al-Malaika (eds.)

Pulmonary Problems in Pregnancy: Clinical and Research Aspects

PDF
English
Year: 2009
Author: Alan R. Leff MD (auth.), Karen Rosene-Montella, Ghada Bourjeily (eds.)

Behavior and Arteriosclerosis

PDF
English
Year: 1983
Author: J. Alan Herd (auth.), J. Alan Herd, Stephen M. Weiss (eds.)

Mathematics Education and Culture

PDF
English
Year: 1988
Author: Beth Graham (auth.), Alan J. Bishop (eds.)