Interactive Systems. Design Specification and Verification : 12th International Workshop DSVIS 2005 Newcastle upon Tyne UK July 13-152005 Revised Papers

>> Google Books

Interactive Systems. Design Specification and Verification : 12th International Workshop DSVIS 2005 Newcastle upon Tyne UK July 13-152005 Revised Papers

フォーマット:

電子ブック

責任表示:

edited by Stephen W. Gilroy Michael D. Harrison

言語:

英語

出版情報:

Berlin Heidelberg : Springer-Verlag GmbH., 2006

形態:

v.: digital

著者名:

シリーズ名:

Lecture Notes in Computer Science ; 3941

書誌ID:

NB02218219

ISBN:

9783540341468 [3540341463]

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

子書誌情報

オンライン

http://dx.doi.org/10.1007/11752707

所蔵情報

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

詳細

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

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 電子ブック Interactive Systems. Design Specification and Verification : 13th International Workshop DSVIS 2006 Dublin Ireland July 26-28 2006. Revised Papers Doherty Gavin, Blandford Ann, SpringerLink (Online service) Springer-Verlag	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 電子ブック Formal Aspects in Security and Trust (vol. 3866) : Third International Workshop FAST 2005 Newcastle upon Tyne UK July 18-192005 Revised Selected Papers Dimitrakos Theo, Martinelli Fabio, Ryan Peter Y.A., Schneider Steve, SpringerLink (Online service) Springer-Verlag GmbH.
3 電子ブック 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	9 電子ブック 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
4 電子ブック 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.	10 電子ブック Advances in New Technologies, Interactive Interfaces, and Communicability : First International Conference, ADNTIIC 2010, Huerta Grande, Argentina, October … Cipolla Ficarra, Francisco V., Castro Lozano, Carlos, Pérez Jiménez, Mauricio, Nicol, Emma, Kratky, Andreas, … Springer Berlin Heidelberg
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 電子ブック Computer Supported Cooperative Work in Design II : 9th International Conference CSCWD 2005 Coventry UK May 24-262005 Revised Selected Papers Shen Weiming, James Anne, Lin Zongkai, Chao Kuo-Ming, Barth-s Jean-Paul A., SpringerLink (Online service) Springer-Verlag GmbH.
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 電子ブック 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