Remi Bastide - Böcker
Visar alla böcker från författaren Remi Bastide. Handla med fri frakt och snabb leverans.
2 produkter
2 produkter
Design, Specification and Verification of Interactive Systems ’95
Proceedings of the Eurographics Workshop in Toulouse, France, June 7–9, 1995
Häftad, Engelska, 1995
535 kr
Skickas inom 10-15 vardagar
This volume contains 21 contributions which cover the different aspects of interactive systems, from formal user modelling to formal techniques for prototyping, and describes state-of-the-art developments in these topics, also giving new directions for future research. The book should be of interest to all scientists working in the formal aspects of the interactive systems field, but it is also useful for the practitioner involved in the design of reliable interactive systems.
Engineering Human Computer Interaction and Interactive Systems
Joint Working Conferences EHCI-DSVIS 2004, Hamburg, Germany, July 11-13, 2004, Revised Selected Papers
Häftad, Engelska, 2005
551 kr
Skickas inom 10-15 vardagar
This book constitutes the joint thoroughly refereed post-proceedings of the 9th IFIP International Conference on Engineering for Human Computer Interaction and of the 11th International Workshop on Design, Specification, and Verification of Interactive Systems, EHCI-DSVIS 2004, held in Hamburg, Germany in July 2004.The 25 revised full papers presented have gone through two rounds of reviewing and improvement and were selected from initially 65 submissions. The papers are organized in topical sections on usability, task modeling, browsing and searching, model-based approaches, ubiquitous computing, bridging viewpoints, plastic and adaptive interfaces, and groupware.