Language:
English
繁體中文
Help
圖資館首頁
Login
Back
Switch To:
Labeled
|
MARC Mode
|
ISBD
Logic synthesis and verification alg...
~
Hachtel, Gary D.
Logic synthesis and verification algorithms
Record Type:
Electronic resources : Monograph/item
Title/Author:
Logic synthesis and verification algorithmsby Gary D. Hachtel, Fabio Somenzi.
Author:
Hachtel, Gary D.
other author:
Somenzi, Fabio.
Published:
Boston :Kluwer Academic Publishers,c2002.
Description:
xxxi, 564 p. :ill., digital ;26 cm.
Contained By:
Springer e-books
Subject:
Logic designData processing.
Online resource:
http://dx.doi.org/10.1007/b117060
ISBN:
9780306475924 (electronic bk.)
Logic synthesis and verification algorithms
Hachtel, Gary D.
Logic synthesis and verification algorithms
[electronic resource] /by Gary D. Hachtel, Fabio Somenzi. - Boston :Kluwer Academic Publishers,c2002. - xxxi, 564 p. :ill., digital ;26 cm.
ISBN: 9780306475924 (electronic bk.)Subjects--Topical Terms:
182348
Logic design
--Data processing.
LC Class. No.: TK7874.75 / .H33 2002
Dewey Class. No.: 621.395
Logic synthesis and verification algorithms
LDR
:00729nmm 2200229 a 4500
001
265659
003
GreenPo
005
20100819133213.0
006
m d
007
cr nn 008maaau
008
101102s2002 mau s j eng d
020
$a
9780306475924 (electronic bk.)
020
$a
9780792397465 (paper)
035
$a
978-0-7923-9746-5
050
0 0
$a
TK7874.75
$b
.H33 2002
082
0 0
$a
621.395
$2
20
090
$a
TK7874.75
$b
.H117 2002
100
1
$a
Hachtel, Gary D.
$3
185513
245
1 0
$a
Logic synthesis and verification algorithms
$h
[electronic resource] /
$c
by Gary D. Hachtel, Fabio Somenzi.
260
$a
Boston :
$b
Kluwer Academic Publishers,
$c
c2002.
300
$a
xxxi, 564 p. :
$b
ill., digital ;
$c
26 cm.
650
0
$a
Logic design
$x
Data processing.
$3
182348
650
0
$a
Computer-aided design.
$3
181931
650
0
$a
Integrated circuits
$x
Verification.
$3
185514
650
0
$a
Integrated circuits
$x
Very large scale integration
$x
Design
$x
Data processing.
$3
184718
700
1
$a
Somenzi, Fabio.
$3
185512
710
2
$a
SpringerLink (Online service)
$3
273601
773
0
$t
Springer e-books
856
4 0
$u
http://dx.doi.org/10.1007/b117060
950
$a
Engineering
based on 0 review(s)
ALL
電子館藏
Items
1 records • Pages 1 •
1
Inventory Number
Location Name
Item Class
Material type
Call number
Usage Class
Loan Status
No. of reservations
Opac note
Attachments
000000046777
電子館藏
1圖書
電子書
EB TK7874.75 .H33 2002 c2002.
一般使用(Normal)
On shelf
0
1 records • Pages 1 •
1
Multimedia
Multimedia file
http://dx.doi.org/10.1007/b117060
Reviews
Add a review
and share your thoughts with other readers
Export
pickup library
Processing
...
Change password
Login