語系:
繁體中文
English
說明(常見問題)
登入
回首頁
切換:
標籤
|
MARC模式
|
ISBD
Interactive systems : design, specif...
~
DSVIS 2005 ((2005)
Interactive systems : design, specification, and verification : 12th international workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005 : revised papers
紀錄類型:
書目-語言資料,印刷品 : 單行本
副題名:
design, specification, and verification : 12th international workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005 : revised papers
其他作者:
HarrisonMichael D., 1949-
其他作者:
GilroyStephen W.,
團體作者:
DSVIS 2005(2005
出版地:
Berlin
出版者:
Springer;
出版年:
c2006
面頁冊數:
xi, 263 p.ill. : 24 cm.;
集叢名:
Lecture notes in computer science
標題:
Interactive computer systems -
ISBN:
9783540341451
Interactive systems : design, specification, and verification : 12th international workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005 : revised papers
DSVIS 2005
Interactive systems
: design, specification, and verification : 12th international workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005 : revised papers / Stephen W. Gilroy, Michael D. Harrison (eds.) - Berlin : Springer, c2006. - xi, 263 p. ; ill. ; 24 cm.. - (Lecture notes in computer science ; 3941).
Includes bibliographical references and index.
ISBN 9783540341451ISBN 3540341455
Interactive computer systems
Harrison, Michael D.
Interactive systems : design, specification, and verification : 12th international workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005 : revised papers
LDR
:00938nam 2200253 i 450
001
501590
009
a(CStRLIN)PATGB32584775-B
009
a2006925462
010
1
$a
9783540341451
$b
(pbk.)
010
1
$a
3540341455
$b
(pbk.)
$d
EUR45
100
$a
d2006 ak0y0engy50020302ba
101
0
$a
eng
102
$a
de
105
$a
a z 001yy
200
1
$a
Interactive systems
$e
design, specification, and verification : 12th international workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005 : revised papers
$f
Stephen W. Gilroy, Michael D. Harrison (eds.)
210
$a
Berlin
$d
c2006
$c
Springer
215
1
$a
xi, 263 p.
$c
ill.
$d
24 cm.
225
2
$a
Lecture notes in computer science
$v
3941
$x
0302-9743
320
$a
Includes bibliographical references and index
410
0
$1
2001
$a
Lecture notes in computer science
606
$2
lc
$a
Interactive computer systems
$3
400433
676
$a
006.7
$v
22
680
$a
QA76.9.I58
$b
D78 2005
702
1
$a
Harrison
$b
Michael D.
$f
1949-
$3
494765
702
1
$a
Gilroy
$b
Stephen W.
$3
494764
710
1 2
$a
DSVIS 2005
$e
Newcastle upon Tyne, England)
$f
(2005
$3
494766
801
0
$b
NNC
801
0
$a
tw
$b
BIB
$c
20071119
801
2
$a
tw
$b
NFU
$c
20090928
$g
CCR
$m
3
筆 0 讀者評論
全部
圖書館3F 書庫
館藏
1 筆 • 頁數 1 •
1
條碼號
典藏地名稱
館藏流通類別
資料類型
索書號
使用類型
借閱狀態
預約狀態
備註欄
附件
E029127
圖書館3F 書庫
一般圖書(BOOK)
一般圖書
006.7 D811 2006
一般使用(Normal)
在架
0
預約
1 筆 • 頁數 1 •
1
評論
新增評論
分享你的心得
Export
取書館別
處理中
...
變更密碼[密碼必須為2種組合(英文和數字)及長度為10碼以上]
登入