Record:   Prev Next
作者 DSV-IS 2003 (2003 : Funchal, Madeira Islands)
書名 Interactive systems : design,specification, and verification : 10th international workshop, DSV-IS 2003, Funchal, Madeira Island, June 11-13, 2003 : revised papers / Joaquim A. Jorge, Nuno Jardim Nunes, João Falcão e Chuha (eds.)
出版項 Berlin ; New York : Springer, 2003
國際標準書號 3540201599 (softcover : alk. paper)
book jacket
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室叢書區  SerPro D4.7 D457 2003  LNCS 2844    館內使用    30330000162706
說明 xiii, 427 p. : ill. ; 24 cm
系列 Lecture notes in computer science, 0302-9743 ; 2844
附註 Includes bibliographical references and author index
Also available online
主題 Interactive computer systems -- Congresses
Alt Author Jorge, J. A. (Joaquim A.)
Jardim Nunes, Nuno
Falcão e Cunha, João
Alt Title DSV-IS 2003
Record:   Prev Next