語系:
繁體中文
English
日文
簡体中文
說明(常見問題)
登入
回首頁
切換:
標籤
|
MARC模式
|
ISBD
Correct hardware design and verifica...
~
CHARME'99 ((1999 :)
Correct hardware design and verification methods[electronic resource] :10th IFIP WG10.5 advanced research working conference, CHARME'99, Bad Herrenalb, Germany, September 27-29, 1999 : proceedings /
紀錄類型:
書目-電子資源 : Monograph/item
杜威分類號:
621.3815
書名/作者:
Correct hardware design and verification methods : 10th IFIP WG10.5 advanced research working conference, CHARME'99, Bad Herrenalb, Germany, September 27-29, 1999 : proceedings // Laurence Pierre, Thomas Kropf (eds.).
其他作者:
Pierre, Laurence.
團體作者:
CHARME'99
出版者:
Berlin ; : Springer,, c1999.
面頁冊數:
xi, 366 p. : : ill., digital ;; 24 cm.
叢書名:
Lecture notes in computer science ;
Contained By:
Springer e-books
標題:
Integrated circuits - Very large scale integration
標題:
Integrated circuits - Congresses. - Verification
ISBN:
9783540665595 (paper)
電子資源:
https://doi.org/10.1007/3-540-48153-2
Correct hardware design and verification methods[electronic resource] :10th IFIP WG10.5 advanced research working conference, CHARME'99, Bad Herrenalb, Germany, September 27-29, 1999 : proceedings /
Correct hardware design and verification methods
10th IFIP WG10.5 advanced research working conference, CHARME'99, Bad Herrenalb, Germany, September 27-29, 1999 : proceedings /[electronic resource] :Laurence Pierre, Thomas Kropf (eds.). - Berlin ;Springer,c1999. - xi, 366 p. :ill., digital ;24 cm. - Lecture notes in computer science ;1703.
ISBN: 9783540665595 (paper)Subjects--Topical Terms:
657357
Integrated circuits
--Very large scale integration
LC Class. No.: TK7874.75 / .C453 1999
Dewey Class. No.: 621.3815
Correct hardware design and verification methods[electronic resource] :10th IFIP WG10.5 advanced research working conference, CHARME'99, Bad Herrenalb, Germany, September 27-29, 1999 : proceedings /
LDR
:00934nmm 2200229 a 4500
001
487656
003
GreenPo
005
20101018151340.0
006
m d
007
cr nn 008maaau
008
200707s1999 gw s j eng d
020
$a
9783540665595 (paper)
035
$a
978-3-540-66559-5
050
0 0
$a
TK7874.75
$b
.C453 1999
082
0 0
$a
621.3815
$2
21
090
$a
TK7874.75
$b
.C482 1999
111
2
$a
CHARME'99
$d
(1999 :
$c
Bad Herrenalb, Germany)
$3
705092
245
1 0
$a
Correct hardware design and verification methods
$h
[electronic resource] :
$b
10th IFIP WG10.5 advanced research working conference, CHARME'99, Bad Herrenalb, Germany, September 27-29, 1999 : proceedings /
$c
Laurence Pierre, Thomas Kropf (eds.).
260
$a
Berlin ;
$a
New York :
$b
Springer,
$c
c1999.
300
$a
xi, 366 p. :
$b
ill., digital ;
$c
24 cm.
440
0
$a
Lecture notes in computer science ;
$v
1703
650
0
$a
Integrated circuits
$x
Very large scale integration
$x
Computer-aided design
$3
657357
650
0
$a
Integrated circuits
$x
Verification
$v
Congresses.
$3
705095
700
1
$a
Pierre, Laurence.
$3
705093
700
1
$a
Kropf, Thomas.
$3
705094
710
2
$a
SpringerLink (Online service)
$3
463450
773
0
$t
Springer e-books
856
4 0
$u
https://doi.org/10.1007/3-540-48153-2
950
$a
Computer Science (Lecture Notes in Computer Science)
筆 0 讀者評論
多媒體
多媒體檔案
https://doi.org/10.1007/3-540-48153-2
評論
新增評論
分享你的心得
Export
取書館別
處理中
...
變更密碼
登入