このページのリンク

利用統計

  • 貸出数:0回
    (1年以内の貸出数:0回)

<図書>
Interactive systems : design, specification, and verification : 9th International Workshop, DSV-IS 2002, Rostock, Germany, June 12-14, 2002 : revised papers

責任表示 Peter Forbrig ... [et al.] (eds.)
シリーズ Lecture notes in computer science ; 2545
データ種別 図書
出版者 Berlin ; Tokyo : Springer
出版年 c2002
本文言語 英語
大きさ x, 267 p. : ill. ; 24 cm
概要 This book constitutes the thoroughly refereed post-proceedings of the 9th International Workshop on the Design, Specification, and Verification of Interactive Systems, DSV-IS 2002, held in Rostock, G...rmany in June 2002. The 19 revised full papers presented have gone through two rounds of reviewing, selection, and improvement. All aspects of the design, specification, and verification of interactive systems from the human-computer interaction point of view are addressed. Particular emphasis is given to models and their role in supporting the design and development of interactive systems and user interfaces for ubiquitous computing. 続きを見る
電子版へのリンク

所蔵情報


理系図 自動書庫 061232004000708 408/L 49 2002

書誌詳細

別書名 表紙タイトル:Interactive systems : design, specification, and verification : 9th International Workshop, DSV-IS 2002, Rostock, Germany, June 2002 : revised papers
一般注記 Includes bibliographical references and index
Other editors: Quentin Limbourg, Bodo Urban, Jean Vanderdonckt
著者標目 *DSV-IS (9th : 2002 : Rostock, Germany)
Forbrig, Peter
Limbourg, Quentin
Urban, Bodo
Vanderdonckt, Jean
件 名 LCSH:Interactive computer systems -- Congresses  全ての件名で検索
分 類 LCC:QA76.9.I58
書誌ID 1001064523
ISBN 3540002669
NCID BA60719454
巻冊次 ISBN:3540002669
登録日 2009.09.17
更新日 2017.02.18

類似資料