Interactive Systems. Design Specification and Verification : 13th International Workshop DSVIS 2006 Dublin Ireland July 26-28 2006. Revised Papers

>> Google Books

Interactive Systems. Design Specification and Verification : 13th International Workshop DSVIS 2006 Dublin Ireland July 26-28 2006. Revised Papers

フォーマット:

電子ブック

責任表示:

edited by Gavin Doherty Ann Blandford

言語:

英語

出版情報:

Berlin Heidelberg : Springer-Verlag, 2007

形態:

v.: digital

著者名:

シリーズ名:

Lecture Notes in Computer Science ; 4323

書誌ID:

NB02218669

ISBN:

9783540695547 [3540695540]

学内からのみアクセスすることができます。

子書誌情報

オンライン

http://dx.doi.org/10.1007/978-3-540-69554-7

所蔵情報

タイトルが類似している資料

詳細

主題:	Computer Communication Networks; Computer Science; Information Storage and Retrieval; Logics and Meanings of Programs; Multimedia Information Systems; Software Engineering; User Interfaces and Human Computer Interaction
分類・件名:	FREE : User Interfaces and Human Computer Interaction LCSH : Computer Communication Networks FREE : Information Storage and Retrieval FREE : Computer Science LCSH : Software engineering FREE : Computer Communication Networks FREE : Software Engineering LCSH : Computer science FREE : Multimedia Information Systems FREE : Logics and Meanings of Programs LCSH : Logic design LCSH : Multimedia systems LCSH : Information storage and retrieval systems
TTLL:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 電子ブック Interactive Systems. Design Specification and Verification : 12th International Workshop DSVIS 2005 Newcastle upon Tyne UK July 13-152005 Revised Papers Gilroy Stephen W., Harrison Michael D., SpringerLink (Online service) Springer-Verlag GmbH.	7 電子ブック Human-Computer Interaction. HCI Applications and Services : 12th International Conference HCI International 2007 Beijing China July 22-27 2007 Proceedings Part … Jacko Julie A., SpringerLink (Online service) Springer-Verlag
2 電子ブック Interactive Systems. Design, Specification, and Verification : 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008 Revised Papers Hutchison, David, Nierstrasz, Oscar, Weikum, Gerhard, Vardi, Moshe Y., Kanade, Takeo, Tygar, Doug, Terzopoulos, Demetri, … Springer-Verlag	8 電子ブック Universal Acess in Human Computer Interaction. Coping with Diversity : 4th International Conference on Universal Access in Human-Computer Interaction UAHCI 2007 … Stephanidis Constantine, SpringerLink (Online service) Springer-Verlag
3 電子ブック Task Models and Diagrams for Users Interface Design : 5th International Workshop TAMODIA 2006 Hasselt Belgium October 23-24 2006. Revised Papers Coninx Karin, Luyten Kris, Schneider Kevin A., SpringerLink (Online service) Springer-Verlag	9 電子ブック Universal Access in Human-Computer Interaction. Ambient Interaction : 4th International Conference on Universal Access in Human-Computer Interaction UAHCI 2007 … Stephanidis Constantine, SpringerLink (Online service) Springer-Verlag
4 電子ブック Human-Computer Interaction. Interaction Design and Usability : 12th International Conference HCI International 2007 Beijing China July 22-27 2007 Proceedings … Jacko Julie A., SpringerLink (Online service) Springer-Verlag	10 電子ブック Universal Access in Human-Computer Interaction. Applications and Services : 4th International Conference on Universal Access in Human-Computer Interaction UAHCI … Stephanidis Constantine, SpringerLink (Online service) Springer-Verlag
5 電子ブック Human-Computer Interaction. Interaction Platforms and Techniques : 12th International Conference HCI International 2007 Beijing China July 22-27 2007 … Jacko Julie A., SpringerLink (Online service) Springer-Verlag	11 電子ブック Universal Access in Ambient Intelligence Environments : 9th ERCIM Workshop on User Interfaces for All Konigswinter Germany September 27-28 2006. Revised Papers Stephanidis Constantine, Pieper Michael, SpringerLink (Online service) Springer-Verlag
6 電子ブック Human-Computer Interaction. HCI Intelligent Multimodal Interaction Environments : 12th International Conference HCI International 2007 Beijing China July 22-27 … Jacko Julie A., SpringerLink (Online service) Springer-Verlag	12 電子ブック Engineering Human Computer Interaction and Interactive Systems : Joint Working Conferences EHCI-DSVIS 2004, Hamburg, Germany, July 11-13, 2004, Revised Selected … Bastide, Remi, Palanque, Philippe, Roth, Jorg, SpringerLink (Online service) Springer-Verlag GmbH.