Interactive systems : design, specification, and verification : 9th International Workshop, DSV-IS 2002, Rostock, Germany, June 12-14, 2002 : revised papers | 東京科学大学図書館　蔵書検索（大岡山図書館、すずかけ台図書館）

>> Google Books

所蔵情報QRコード

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.)

資料種別:

図書

出版情報:

Berlin ; Tokyo : Springer, c2002

形態:

x, 267 p. ; 24 cm

シリーズ名:

Lecture notes in computer science ; 2545 <BA00009279>

著者名:

ISBN:

9783540002666 [3540002669]

書誌ID:

BA60719454

子書誌情報

フルテキスト

Loading contents information

所蔵情報

Loading availability information

他の版・巻

書誌詳細

その他の標題:	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
主題:	Interactive computer systems--Congresses
言語:	英語

ブックレビュー

Loading review information

類似資料:

1 電子ブック Interactive Systems: Design, Specification, and Verification : 9th International Workshop, DSV-IS 2002, Rostock Germany, June 12-14, 2002 Urban, Bodo., Vanderdonckt, Jean., Limbourg, Quentin., SpringerLink (Online service)	7 電子ブック Interactive Systems Design, Specification, and Verification DSV-IS 2000, Palanque, Philippe, Paternò, Fabio SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
2 図書 Interactive systems : design, specification, and verification : 8th International Workshop, DSV-IS 2001, Glasgow, Scotland, UK, June 13-15, 2001 : revised … DSV-IS, Johnson, Chris Springer	8 電子ブック Interactive Systems: Design, Specification, and Verification DSV-IS 2001, Johnson, Chris W. SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
3 図書 Interactive systems : design, specification, and verification : 7th International Workshop, DSV-IS 2000, Limerick, Ireland, June 5-6, 2000 : revised papers DSV-IS, Palanque, P. (Philippe), Paternó, Fabio, 1960- Springer	9 電子ブック Interactive Systems. Design, Specification, and Verification DSV-IS 2003, Falcão e Cunha, João, Jardim Nunes, Nuno, Jorge, Joaquim A. SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
4 図書 Interactive systems : design, specification, and verification : 10th International Workshop, DSV-IS 2003, Funchal, Madeira Island, Portugal, June 11-13, 2003 : … DSV-IS, Jorge, Joaquim A., Nunes, Nuno Jardim, Cunha, João Falcão e Springer	10 図書 System analysis and modeling : 4th International SDL and MSC Workshop, SAM 2004, Ottawa, Canada, June 1-4, 2004 : revised selected papers SAM, Amyot, Daniel, Williams, Alan W. Springer
5 電子ブック Interactive Systems:Design, Specification, and Verification DSV-IS 2002, Forbrig, Peter SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	11 電子ブック Interactive Systems. Design, Specification, and Verification : 7th International Workshop, DSV-IS 2000, Limerick, Ireland, June 5-6, 2000. Revised Papers Palanque, Philippe., Paterno, Fabio., SpringerLink (Online service)
6 図書 Interactive systems : design, specification, and verification : 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005 : revised … DSV-IS, Gilroy, Stephen W., Harrison, M. D. (Michael D.) Springer	12 電子ブック Computer-Aided Design of User Interfaces IV : Proceedings of the Fifth International Conference on Computer-Aided Design of User Interfaces CADUI '2004 Jacob, Robert J.K., Limbourg, Quentin., Vanderdonckt, Jean., SpringerLink (Online service)

1

2

3

4

5

6

7

8

9

10

11

12