検索結果 15 件
紙図書
国立国会図書館
- 一般注記...5. Index term: correct hardware design ; verification methods ; CHARME ; IFIP. BL shelfmark...
- 並列タイトル等（連結）Also known as CHARME '95 correct hardware design ; verification methods ; CHARME ; IFIP
- 並列タイトル等Also known as CHARME '95 correct hardware design ; verification methods ; CHARME ; IFIP
紙図書
国立国会図書館
- 一般注記Papers and abstracts. Als......FIP ; CHARME ; hardware design. BL shelfmark: 5180.185 vol 1...
- 並列タイトル等（連結）Also known as CHARME '99 IFIP ; CHARME ; hardware design
- 並列タイトル等Also known as CHARME '99 IFIP ; CHARME ; hardware design
紙図書
国立国会図書館
- 件名...Computer-aided design -- Congresses.......ed circuits -- Verification -- Congresses.
- 一般注記Abstracts and papers. " (...) CHARME takes ...
- 著者標目Saarland University. Department of Com...
紙図書
国立国会図書館
- 件名...Computer-aided design -- Congresses.......ed circuits -- Verification -- Congresses.
- 著者標目...vingston, Scotland)
紙図書
国立国会図書館
- 件名...Computer-aided design -- Congresses.......ed circuits -- Verification -- Congresses.
- 一般注記Abstracts and papers.
紙図書
全国の図書館
- 一般注記Includes bibliographical references and index
- 著者標目... Conference on Correct Hardware Design Methodologies Borrione, Domin...
紙図書
国立国会図書館
- 一般注記... Conference on Correct HARdware Design MEthodologies'......4-26 May, 1993 and organized by t......018 'CHARME-2' and the Université de Provence (M...
- 著者標目... Conference on Correct Hardware Design Methodologies (1993 : Arles, ...
紙図書
全国の図書館
- 件名...Computer-aided design -- Congresses ......ed circuits -- Verification -- Congresses
- 件名（識別子）...Computer-aided design -- Congresses ......ed circuits -- Verification -- Congresses
- 一般注記Includes bibliographical references and index
紙図書
全国の図書館
- 件名...integration -- Design and construction -......ed circuits -- Verification -- Congresses Computer-aided design -- Congresses ......Computer-aided design -- Congresses
- 件名（識別子）...integration -- Design and construction -......ed circuits -- Verification -- Congresses Computer-aided design -- Congresses ......Computer-aided design -- Congresses
- 一般注記Includes bibliographical references and index
紙図書
全国の図書館
- 件名...integration -- Design and construction -......ed circuits -- Verification -- Congresses Computer-aided design -- Congresses ......Computer-aided design -- Congresses
- 件名（識別子）...integration -- Design and construction -......ed circuits -- Verification -- Congresses Computer-aided design -- Congresses ......Computer-aided design -- Congresses
- 一般注記Includes bibliographical references and index
記事
全国の図書館
紙図書
全国の図書館
- 件名...integration -- Design and construction -......ed circuits -- Verification -- Congresses Computer-aided design -- Congresses
- 件名（識別子）...integration -- Design and construction -......ed circuits -- Verification -- Congresses Computer-aided design -- Congresses
- 著者標目... Conference on Correct Hardware Design Methodologies Camurati, Paolo...
紙図書
全国の図書館
- 件名Integrated circuits -- Design nd constructio......ed circuits -- Verification -- Congresses ......Computer-aided design -- Congresses
- 件名（識別子）Integrated circuits -- Design nd constructio......ed circuits -- Verification -- Congresses ......Computer-aided design -- Congresses
- 著者標目... Conference on Correct Hardware Design Methodologies
紙図書
全国の図書館
- 件名Computer engineering -- Congresses Computer software -- Verification -- Congresses
- 件名（識別子）Computer engineering -- Congresses Computer software -- Verification -- Congresses
- 著者標目... Conference on Correct Hardware and Verification Methods : 9th : 1997 : Montréal, Cana...
紙図書
国立国会図書館
- 一般注記Papers and abstracts. Als...... conference on correct hardware design and verification methods, CHARME '97. Index term: hardware design ; correct hardware design ; IFIP ; CHARME.
- 並列タイトル等（連結）... conference on correct hardware design and verification methods, CHARME '97 hardware design ; correct hardware design ; IFIP ; CHARME
- 並列タイトル等... conference on correct hardware design and verification methods, CHARME '97 hardware design ; correct hardware design ; IFIP ; CHARME
検索結果は以上です。