本文に飛ぶ

年 〜
年

検索結果 6 件

Correct hardware design and verification methods : 13th IFIP WG 10.5 advanced research working conference, CHARME 2005 : Saarbrucken, Germany, October 3-6, 2005 : proceedings. : 2005 advanced research working conference on correct hardware-like design and verification methods : Oct 2005, Saarbrucken, Germany. (Lecture Notes in Computer Science ; 3725)

Correct hardware design and verification methods : 13th IFIP WG 10.5 advanced research working conference, CHARME 2005 : Saarbrucken, Germany, October 3-6, 2005 : proceedings. : 2005 advanced research working conference on correct hardware-like design and verification methods : Oct 2005, Saarbrucken, Germany. (Lecture Notes in Computer Science ; 3725)
紙図書
Springerc2005.<M17-05-2680>
国立国会図書館
  • 著者標目...puter Science. Borrione, Dominique. Paul, Wolfgang J., 1951- CHAR...

Advances in design methods from modeling languages for embedded systems and SoC's : selected contributions on specification, design, and verification from FDL 2009

Advances in design methods from modeling languages for embedded systems and SoC's : selected contributions on specification, design, and verification from FDL 2009
紙図書
Dominique Borrione, editorSpringerc2010
全国の図書館

Correct hardware design and verification methods : 13th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005 : proceedings

Correct hardware design and verification methods : 13th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005 : proceedings
紙図書
Dominique Borrione, Wolfgang Paul (eds.)Springerc2005
全国の図書館

Proceedings : Design, Automation and Test in Europe Conference and Exhibition 1999 : Munich, Germany March 9-12, 1999 : soft

Proceedings : Design, Automation and Test in Europe Conference and Exhibition 1999 : Munich, Germany March 9-12, 1999 : soft
紙図書
sponsored by EDAA ... [et al.] ; in cooperation with AEIA ... [et al.] ; editors, Dominique Borrione, Rolf ErnstIEEE Computer Societyc1999
全国の図書館

Computer hardware description languages and their applications : proceedings of the IFIP WG 10.2 Tenth International Symposium on Computer Hardware Description Languages and Their Applications, Marseille, France, 22-24 April 1991

Computer hardware description languages and their applications : proceedings of the IFIP WG 10.2 Tenth International Symposium on Computer Hardware Description Languages and Their Applications, Marseille, France, 22-24 April 1991
紙図書
edited by Dominique Borrione, Ronald WaxmanNorth-Holland1991
全国の図書館

From HDL descriptions to guaranteed correct circuit designs : proceedings of the IFIP WG 10.2 Working Conference on from HDL Descriptions to Guaranteed Correct Circuit Designs, Grenoble, France, 9-11 September, 1986

From HDL descriptions to guaranteed correct circuit designs : proceedings of the IFIP WG 10.2 Working Conference on from HDL Descriptions to Guaranteed Correct Circuit Designs, Grenoble, France, 9-11 September, 1986
紙図書
edited by Dominique Borrione and IMAG/ARTEMISNorth-Holland1987
全国の図書館

検索結果は以上です。

RSS