主畫面
|
輔助說明
|
重新查詢
|
English Mode
中研院圖書館首頁
SearchType
書名
作者
關鍵字
國際標準號碼(ISBN/ISSN)
主題
中國圖書分類號
美國國會圖書館分類號
十進分類號(杜威/何日章)
條碼
Search
Record:  
Prev
Next
作者
Advanced Research Working Conference On Correct Hardware Design Methodologies (1995 : Frankfurt, Germany)
書名
Correct hardware design and verification methods [electronic resource] : IFIP WG 10.5 advanced research working conference, CHARME 95, Frankfurt/Main, Germany, October 2-4, 1995 : proceedings / Paolo E. Camurati, Hans Eveking (eds.)
出版項
Berlin ; New York : Springer, 1995
國際標準書號
9783540603856 (paper)
請按以下連結
連線到 http://dx.doi.org/10.1007/3-540-60385-9
說明
viii, 342 p. : ill., digital ; 24 cm
系列
Lecture notes in computer science,
0302-9743 ;
987
附註
Springr LNCS
Host Item
Springer eBooks
主題
Integrated circuits -- Very large scale integration -- Design and construction -- Data processing -- Congresses
Integrated circuits -- Verification -- Congresses
Computer-aided design -- Congresses
Alt Author
Camurati, Paolo
Eveking, Hans
SpringerLink (Online service)
Record:  
Prev
Next
主畫面
|
輔助說明
|
English Mode