Description: This book constitutes the thoroughly refereed post-proceedings of the 9th International Workshop on the Design, Specification, and Verification of Interactive Systems, DSV-IS 2002, held in Rostock, Germany in June 2002.The 19 revised full papers presented have gone through two rounds of reviewing, selection, and improvement. All aspects of the design, specification, and verification of interactive systems from the human-computer interaction point of view are addressed. Particular emphasis is given to models and their role in supporting the design and development of interactive systems and user interfaces for ubiquitous computing.We have made it easy for you to find a PDF Ebooks without any digging. And by having access to our ebooks online or by storing it on your computer, you have convenient answers with Jaarboek van de maatschappij der Nederlandse letterkunde te Leiden 2001-2002. To get started finding Jaarboek van de maatschappij der Nederlandse letterkunde te Leiden 2001-2002, you are right to find our website which has a comprehensive collection of manuals listed. Our library is the biggest of these that have literally hundreds of thousands of different products represented.
Pages
—
Format
PDF, EPUB & Kindle Edition
Publisher
—
Release
—
ISBN
Jaarboek van de maatschappij der Nederlandse letterkunde te Leiden 2001-2002
Description: This book constitutes the thoroughly refereed post-proceedings of the 9th International Workshop on the Design, Specification, and Verification of Interactive Systems, DSV-IS 2002, held in Rostock, Germany in June 2002.The 19 revised full papers presented have gone through two rounds of reviewing, selection, and improvement. All aspects of the design, specification, and verification of interactive systems from the human-computer interaction point of view are addressed. Particular emphasis is given to models and their role in supporting the design and development of interactive systems and user interfaces for ubiquitous computing.We have made it easy for you to find a PDF Ebooks without any digging. And by having access to our ebooks online or by storing it on your computer, you have convenient answers with Jaarboek van de maatschappij der Nederlandse letterkunde te Leiden 2001-2002. To get started finding Jaarboek van de maatschappij der Nederlandse letterkunde te Leiden 2001-2002, you are right to find our website which has a comprehensive collection of manuals listed. Our library is the biggest of these that have literally hundreds of thousands of different products represented.