Remi Bastide – författare
Visar alla böcker från författaren Remi Bastide. Handla med fri frakt och snabb leverans.
2 produkter
2 produkter
Häftad, Engelska, 1995
542 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.
Häftad, Engelska, 2005
558 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.