Cover Image

Interactive systems : design, specification, and verification : 7th international workshop, DSV-IS 2000, Limerick, Ireland, June 5-6, 2000 : revised papers /

Show other versions (1)

This book constitutes the thoroughly refereed post-proceedings of the 7th International Workshop on Design, Specification and Verification of Interactive Systems, DSV-IS 2000, held in Limerick, Ireland in June 2000. The 14 revised full papers presented were carefully reviewed and selected from 30 su...

Full description

Bibliographic Details
Corporate Authors:	DSV-IS 2000 Limerick, Ireland, SpringerLink (Online service)
Other Authors:	Palanque, Philippe, 1966-, Paternò, Fabio, 1960-
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer, [2001]
Series:	Lecture notes in computer science ; 1946.
Subjects:	Interactive computer systems > Congresses. Interactive computer systems. Electronic books. Online resources. Conference proceedings.
Online Access:	Connect to the full text of this electronic book

Similar Items

Interactive systems : design, specification, and verification : 9th international workshop, DSV-IS 2002, Rostock, Germany, June 12-14, 2002 : revised papers /
Published: (2002)

Interactive systems : design, specification, and verification : 8th international workshop, DSV-IS 2001, Glasgow, Scotland, UK, June 13-15, 2001 : revised papers /
Published: (2001)

Interactive systems : design, specification, and verification : 10th international workshop, DSV-IS 2003, Funchal, Madeira Islands, Portugal, June 11-13, 2003 : revised papers /
Published: (2003)

Interactive systems : design, specification, and verification : 7th international workshop, DSV-IS 2000, Limerick, Ireland, June 5-6, 2000 : revised papers /
Published: (2001)

Design, specification and verification of interactive systems '98 : proceedings of the Eurographic workshop in Abingdon, UK, June 3-5, 1998 /
Published: (1998)

Interactive systems : design, specification, and verification : 9th international workshop, DSV-IS 2002, Rostock, Germany, June 12-14, 2002 : revised papers /
Published: (2002)

Interactive systems : design, specification, and verification : 8th international workshop, DSV-IS 2001, Glasgow, Scotland, UK, June 13-15, 2001 : revised papers /
Published: (2001)

Interactive systems : design, specification, and verification : 10th international workshop, DSV-IS 2003, Funchal, Madeira Islands, Portugal, June 11-13, 2003 : revised papers /
Published: (2003)

Interactive Computer Systems : Videotex and Multimedia /
by: Alber, Antone F.
Published: (1993)

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 ; 12th international workshop, DS VIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005 : revised papers /
Published: (2006)

Inhabited information spaces : living with your data /
Published: (2004)

Directions in human factors for interactive systems /
by: Ledgard, Henry F., 1943-
Published: (1981)

Designing interactive systems : people, activities, contexts, technologies /
by: Benyon, David
Published: (2005)

Natural language generation in interactive systems /
Published: (2014)

Domain knowledge for interactive system design : proceedings of the TC8/WG8.2 Conference on Domain Knowledge in Interactive System Design, Switzerland, May 1996 /
Published: (1996)

Building interactive systems : principles for human-computer interaction /
by: Olsen, Dan R., 1953-
Published: (2010)

Interactive systems : design, specification, and verification ; 15th international workshop, DSV-IS 2008, Kingston, Canada, July 16-18, 2008 : proceedings /
Published: (2008)

Running a controlled experiment with participants in human computer interaction.
Published: (2019)

An introduction to human-computer interaction /
by: Booth, Paul A.
Published: (1989)

Thoughtful interaction design : a design perspective on information technology /
by: Löwgren, Jonas
Published: (2004)

Interactivity by design : creating & communicating with new media /
by: Kristof, Ray
Published: (1995)

Interactive systems : proceedings, 6th Informatik Symposium, IBM Germany, Bad Homburg v. d. H., September 1976 /
Published: (1977)

Interactive computer-based systems : design & development /
by: Andriole, Stephen J.
Published: (1983)

Developing future interactive systems /
Published: (2005)

Human-computer interaction and complex systems /
Published: (1991)

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

Learning IPython for interactive computing and data visualization /
by: Rossant, Cyrille
Published: (2018)

Multimedia interaction with computers : human factors issues /
by: Waterworth, John A. (John Alexander), 1951-
Published: (1992)

Sharing our data : an overview of current (2016) USGS policies and practices for publishing data on ScienceBase and an example interactive mapping application /
by: Chase, Katherine J., et al.
Published: (2016)

Readings in human-computer interaction : toward the year 2000 /
Published: (1995)

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

Human-automation interaction design : developing a vehicle automation assistant /
by: Clark, Jediah R., et al.
Published: (2022)

Design, specification, and verification of interactive systems '96 : proceedings of the Eurographics Workshop in Namur, Belgium, June 5-7, 1996 Eurographics /
Published: (1996)

Interactive media /
by: Gayeski, Diane M. (Diane Mary), 1953-
Published: (1985)

Design, specification, and verification of interactive systems '97 : proceedings of the Eurographics Workshop in Granada, Spain, June 4-6, 1997 /
Published: (1997)

Design, specification and verification of interactive systems '98 : proceedings of the Eurographic workshop in Abingdon, UK, June 3-5, 1998 /
Published: (1998)

Integrated interactive computing systems : proceedings of the European Conference on Integrated Interactive Computing Systems, ECICS 82 Stresa, Italy, 1-3 September 1982 /
Published: (1983)

The materiality of interaction : notes on the materials of interaction design /
by: Wiberg, Mikael, 1974-
Published: (2017)

Designing interactive software /
by: Kearsley, Greg, 1951-
Published: (1986)