yr 〜
yr

Search results 6

Proceedings of the International Conference on Computer-Aided Design

Proceedings of the International Conference on Computer-Aided Design
Digital電子書籍・電子雑誌図書
2012
National Diet Library
  • Author HeadingHu, Alan J. Association for Computing Mac...

Hardware and software : verification and testing : 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008 : proceedings

Hardware and software : verification and testing : 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008 : proceedings
Paper図書
Hana Chockler, Alan J. Hu (eds.)Springerc2009
Other Libraries in Japan
  • Author HeadingInternational Haifa Verification Conference Chockler, Hana Hu, Alan J.

Formal methods in computer-aided design : 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004 : proceedings

Formal methods in computer-aided design : 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004 : proceedings
Paper図書
Alan J. Hu, Andrew K. Martin (eds.)Springerc2004
Other Libraries in Japan
  • Author HeadingFMCAD (Conference) Hu, Alan J. Martin, Andrew K.

Hardware and software: verification and testing : 4th international Haifa verification conference, HVC 2008 : Haifa, Israel, October 27-30, 2008 : proceedings. : Oct 2008, Haifa, Israel. (Lecture Notes in Computer Science ; 5394)

Hardware and software: verification and testing : 4th international Haifa verification conference, HVC 2008 : Haifa, Israel, October 27-30, 2008 : proceedings. : Oct 2008, Haifa, Israel. (Lecture Notes in Computer Science ; 5394)
Paper図書
Springerc2009.<M17-10-91>
National Diet Library
  • Author HeadingChockler, Hana. Hu, Alan J. (Alan John) International Hai...

Computer aided verification : 10th International Conference, CAV '98, Vancouver, BC, Canada, June 28-July 2, 1998 : proceedings

Computer aided verification : 10th International Conference, CAV '98, Vancouver, BC, Canada, June 28-July 2, 1998 : proceedings
Paper図書
Alan J. Hu, Moshe Y. Vardi (eds.)Springer-Verlagc1998
Other Libraries in Japan
  • Author HeadingCAV (Conference) Hu, Alan J. Vardi, Moshe

Formal methods in computer-aided design : 5th international confrence [i.e. conference], FMCAD 2004 : Austin, Texas, USA, November 15-17, 2004 : proceedings. : Nov 2004, Austin, TX. (Lecture Notes in Computer Science ; 3312)

Formal methods in computer-aided design : 5th international confrence [i.e. conference], FMCAD 2004 : Austin, Texas, USA, November 15-17, 2004 : proceedings. : Nov 2004, Austin, TX. (Lecture Notes in Computer Science ; 3312)
Paper図書
Springerc2004.<M17-05-912>
National Diet Library
  • Author HeadingHu, Alan J. (Alan John) Martin, Andrew K....

Reached to the end of result.