Interactive systems. Design specification, and verification : 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005, Revised Papers /

Interactive systems. Design specification, and verification : 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005, Revised Papers /

Saved in:

Bibliographic Details
Corporate Authors:	DSVIS 2005 Newcastle upon Tyne, England, SpringerLink (Online service)
Other Authors:	Gilroy, Stephen W., Harrison, Michael D.
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin Heidelberg Springer-Verlag 2006
Series:	Lecture Notes in Computer Science, 3941
Subjects:	Interactive computer systems > Congresses.
Online Access:	Click here to view the full text content
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Interactive systems : design, specification, and verification : 13th international workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006 : revised papers /
Published: (2007)

Interactive systems : design, specification, and verification : 13th international workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006 : revised papers /
Published: (2007)

Interactive systems. Design, specification, and verification : 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006. Revised Papers /
by: Doherty, Gavin
Published: (2007)

Formal aspects in security and trust : third International Workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005, Revised Selected Papers /
Published: (2006)

Interactive systems : design specification and verification : 9th , DSV-IS 2002,Rostock Germany, June 12-14, 2002 /
by: Forbrig, P.
Published: (2002)

Human-computer interaction : INTERACT '01 : IFIP TC.13 International Conference on Human-Comupter Interaction, 9th-13th July 2001, Tokyo, Japan /
Published: (2001)

Human-computer interaction INTERACT '01 : IFIP TC.13 International Conference on Human-Comupter Interaction, 9th-13th July 2001, Tokyo, Japan
Published: (2001)

Human-computer interaction INTERACT '01 : IFIP TC.13 International Conference on Human-Comupter Interaction, 9th-13th July 2001, Tokyo, Japan
Published: (2001)

Computer vision in human-computer interaction : ICCV 2005 Workshop on HCI, Beijing, China, October 21, 2005, Proceedings
Published: (2005)

Computer vision in human-computer interaction : ICCV 2005 Workshop on HCI, Beijing, China, October 21, 2005, proceedings /
Published: (2005)

Human-computer interaction--INTERACT '90 proceedings of the IFIP TC 13 Third International Conference on Human-Computer Interaction, Cambridge, U.K., 27-31 August, 1990
Published: (1990)

Human-computer interaction--INTERACT '90 proceedings of the IFIP TC 13 Third International Conference on Human-Computer Interaction, Cambridge, U.K., 27-31 August, 1990
Published: (1990)

Digital media processing for multimedia interactive services : proceedings of the 4th European workshop on image analysis for multimedia interactive services /
Published: (2003)

Computer vision in human-computer interaction : ICCV 2005 Workshop on HCI, Beijing, China, October 21, 2005, proceedings /
Published: (2005)

Computer aided verification 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings /
Published: (2005)

Human work interaction design: designing for human work : The first IFIP TC 13.6 WG Conference: Designing for Human Work, February 13-15, 2006, Madeira, Portugal /

Soil-foundation-structure interaction : selected papers from the International Workshop on Soil-Structure Interaction (SFSI 09), Auckland, New Zealand, 26-27 November 2009 /
Published: (2010)

Human work interaction design designing for human work : the first IFIP TC 13.6 WG conference : designing for human work, February 13-15, 2006, Madeira, Portugal
Published: (2006)

Human work interaction design designing for human work : the first IFIP TC 13.6 WG conference : designing for human work, February 13-15, 2006, Madeira, Portugal
Published: (2006)

Gesture-based human-computer interaction and simulation 7th international gesture workshop, GW 2007, Lisbon, Portugal, May 23-25, 2007. Revised selected papers /
Published: (2009)

Perception and interactive technologies : International Tutorial and Research Workshop, Kloster Irsee, PIT 2006, Germany, June 19-21, 2006 /
Published: (2006)

Machine learning for multimodal interaction (vol. # 4299) : Third International Workshop, MLMI 2006, Bethesda, MD, USA, May 1-4, 2006, Revised Selected Papers /
Published: (2006)

Affective computing and intelligent interaction : first International Conference, ACII 2005 Beijing, China, October 22-24, 2005 Proceedings /
Published: (2005)

Water-rock interaction /
Published: (2010)

Fluid structure interaction /
Published: (2001)

Engineering for human-computer interaction : IFIP TC2/TC13 WG2.7/WG13.4 Seventh Working Conference on Engineering for Human-Computer Interaction, September 14-18, 1998, Heraklion, Crete, Greece / IFIP TC 2/WG 2.7 Working Conference on Engineering for Human-Computer Interaction (7th :1998 : Heraklion, Greece).
Published: (1999)

Haptic and audio interaction design : First International Workshop, HAID 2006, Glasgow, UK, August 31 - September 1, 2006, Proceedings /
Published: (2006)

Intelligent technologies for interactive entertainment First International Conference, INTETAIN 2005, Madonna di Campaglio, Italy, November 30 - December 2, 2005. Proceedings
Published: (2005)

Human-computer interaction INTERACT '03
Published: (2003)

Human-computer interaction INTERACT '03
Published: (2003)

Computer vision in human-computer interaction (vol. # 3979) : ECCV 2006 Workshop on HCI, Graz, Austria, May 13, 2006, Proceedings /

Affective computing and intelligent interaction : first International Conference, ACII 2005 Beijing, China, October 22-24, 2005 Proceedings /
Published: (2005)

Proceedings : Graphics Interface 2005 : Victoria, British Columbia, 9-11 May 2005 /
Published: (2005)

Engineering for human-computer interaction IFIP TC2/TC13 WG2.7/WG13.4 Seventh Working Conference on Engineering for Human-Computer Interaction, September 14-18, 1998, Heraklion, Crete, Greece
Published: (1999)

Engineering for human-computer interaction IFIP TC2/TC13 WG2.7/WG13.4 Seventh Working Conference on Engineering for Human-Computer Interaction, September 14-18, 1998, Heraklion, Crete, Greece
Published: (1999)

Fluid structure interaction /
Published: (2001)

Laser-plasma interactions /

Laser-plasma interactions /
Published: (2009)

Designing interactions /
by: Moggridge, Bill
Published: (2007)

Interactive technologies and sociotechnical systems : 12th International Conference, VSMM 2006, Xi'an, China, October 18-20, 2006, Proceedings /
Published: (2006)