Formal methods in human-computer interaction / Philippe Palanque and Fabio Paternò, eds
(Formal approaches to computing and information technology (FACIT))
| データ種別 | 図書 |
|---|---|
| 出版者 | London ; New York : Springer |
| 出版年 | c1998 |
| 本文言語 | 英語 |
| 大きさ | xvii, 376 p. : ill. ; 24 cm |
所蔵情報を非表示
| 配架場所 | 巻 次 | 請求記号 | 資料番号 | 状 態 | コメント | ISBN | 予約 | 指定図書グループ |
|---|---|---|---|---|---|---|---|---|
| 2F図書 (自然科学・技術・産業・芸術) | Berlin : pbk. : acid-free paper | 549.92||F39 | 9199830634 |
|
|
|
||
| 積層4層 | Berlin : pbk. : acid-free paper | 549.92||F39 | 9970050145 |
|
3540761586 |
|
書誌詳細を非表示
| 一般注記 | Includes bibliographical references (p. [347]-361) and indexes |
|---|---|
| 著者標目 | Palanque, P. (Philippe) Paternó, Fabio, 1960- |
| 分 類 | LCC:QA76.9.H85 DC21:004/.01/9 |
| 件 名 | LCSH:Human-computer interaction |
| 書誌ID | TY20004567 |
| ISBN | 3540761586 |
| NCID | BA33977446 |
