語系:
繁體中文
English
簡体中文
說明(常見問題)
圖書館個人資料蒐集告知聲明
登入
回首頁
切換:
標籤
|
MARC模式
|
ISBD
Embedded system design : modeling, s...
~
Gajski, Daniel D.
Embedded system design : modeling, synthesis and verification
紀錄類型:
書目-語言資料,印刷品 : 單行本
副題名:
modeling, synthesis and verification
其他作者:
GajskiDaniel D.,
出版地:
New York
出版者:
Springer;
出版年:
c2009.
面頁冊數:
xxiv, 352 p.ill. : 25 cm.;
標題:
Embedded computer systems - Design and construction. -
ISBN:
1-4419-0503-0
Embedded system design : modeling, synthesis and verification
Embedded system design
: modeling, synthesis and verification / Daniel D. Gajski ... [et al.]. - New York : Springer, c2009.. - xxiv, 352 p. ; ill. ; 25 cm..
Includes bibliographical references (p. [335]-347) and index..
ISBN 1-4419-0503-0ISBN 1-4419-0504-9ISBN 978-1-4419-0503-1ISBN 978-1-4419-0504-8
Embedded computer systems -- Design and construction.
Gajski, Daniel D.
Embedded system design : modeling, synthesis and verification
LDR
:00719nam0 2200229 4500
001
295586
005
101124173637.0
009
a(OCoLC)430832501
009
0832501
010
1
$a
1-4419-0503-0
010
1
$a
1-4419-0504-9
$b
ebook
010
1
$a
978-1-4419-0503-1
$d
NT3383
010
1
$a
978-1-4419-0504-8
$b
ebook
100
$a
20101209d2009 m y0engy50 b
101
0
$a
eng
105
$a
a a 001yy
200
1
$a
Embedded system design
$e
modeling, synthesis and verification
$f
Daniel D. Gajski ... [et al.].
210
$a
New York
$c
Springer
$d
c2009.
215
1
$a
xxiv, 352 p.
$c
ill.
$d
25 cm.
320
$a
Includes bibliographical references (p. [335]-347) and index.
606
$a
Embedded computer systems
$x
Design and construction.
$2
lc
$3
124756
676
$a
004.21
680
$a
TK7895.E42
$b
E61 2009
702
1
$a
Gajski
$b
Daniel D.
$3
124571
801
0
$a
cw
$c
20101120
$g
CCR
筆 0 讀者評論
館藏地:
全部
六樓西文書庫區
出版年:
卷號:
館藏
期刊年代月份卷期操作說明(Help)
1 筆 • 頁數 1 •
1
條碼號
典藏地名稱
館藏流通類別
資料類型
索書號
使用類型
借閱狀態
預約人數
期刊出刊日期 / 原館藏地 / 其他備註
附件
298663
六樓西文書庫區
圖書流通(BOOK_CIR)
BOOK
004.21/E53
一般使用(Normal)
書架上
0
99年度教育部獎補助款(西文書)
1 筆 • 頁數 1 •
1
評論
新增評論
分享你的心得
建立或儲存個人書籤
書目轉出
取書館別
處理中
...
變更密碼
登入