KI-Beratung Beta
Vor Ort
Merkzettel Warenkorb

Gutscheinbedingungen

Gültig bis 21.10.2026 | Gültig für nicht preisgebundene fremdsprachige Bücher | Einzelne Artikel können ausgeschlossen sein | Online auf thalia.de und in der Thalia App einlösbar | Click & Collect nur mit Online-Zahlung (Paypal/Kreditkarte) vorab | Nicht kombinierbar mit anderen Gutscheinen oder Preisaktionen | Nur einmal pro Einkauf einlösbar | Gutschein wird auf max. 500€ Bestellwert angerechnet | Keine Barauszahlung | Nicht gültig für Versandkosten und Services
  • Produktbild: Interactive Systems. Design, Specification, and Verification
  • Produktbild: Interactive Systems. Design, Specification, and Verification
Band 5136

Interactive Systems. Design, Specification, and Verification 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008, Proceedings

Aus der Reihe Programming and Software Engineering

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

01.07.2008

Abbildungen

IX, 314 p.

Herausgeber

T. C. Nicholas Graham + weitere

Verlag

Springer Berlin

Seitenzahl

314

Maße (L/B/H)

23,5/15,5/1,8 cm

Gewicht

499 g

Auflage

2008

Sprache

Englisch

ISBN

978-3-540-70568-0

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

01.07.2008

Abbildungen

IX, 314 p.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

314

Maße (L/B/H)

23,5/15,5/1,8 cm

Gewicht

499 g

Auflage

2008

Sprache

Englisch

ISBN

978-3-540-70568-0

Herstelleradresse

Springer-Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

Email: ProductSafety@springernature.com

Ein neues Kapitel für Ihre Bücher

Ein neues Kapitel für Ihre Bücher

Schenken Sie Ihren alten Schätzen ein zweites Leben und erhalten Sie dafür eine Thalia Geschenkkarte.

Jetzt verkaufen
Jetzt verkaufen

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Interactive Systems. Design, Specification, and Verification
  • Produktbild: Interactive Systems. Design, Specification, and Verification
  • EMU in the Car: Evaluating Multimodal Usability of a Satellite Navigation System.- Comparing Mixed Interactive Systems for Navigating 3D Environments in Museums.- An Attentive Groupware Device to Mitigate Information Overload.- Multi-fidelity User Interface Specifications.- HOPS: A Prototypical Specification Tool for Interactive Systems.- Systematic Analysis of Control Panel Interfaces Using Formal Tools.- Investigating System Navigation Ergonomics through Model Verification.- Tool Support for Representing Task Models, Dialog Models and User-Interface Specifications.- Towards a Library of Workflow User Interface Patterns.- Specification and Verification of Multi-agent Systems Interaction Protocols Using a Combination of AUML and Event B.- Pattern Languages as Tool for Discount Usability Engineering.- Cascading Dialog Modeling with UsiXML.- Designing Graphical Elements for Cognitively Demanding Activities: An Account on Fine-Tuning for Colors.- Lightweight Coding of Structurally Varying Dialogs.- ReWiRe: Designing Reactive Systems for Pervasive Environments.- Toward Multi-disciplinary Model-Based (Re)Design of Sustainable User Interfaces.- A Model-Based Approach to Supporting Configuration in Ubiquitous Systems.- Exploiting Web Services and Model-Based User Interfaces for Multi-device Access to Home Applications.- Resources for Situated Actions.- An Architecture and a Formal Description Technique for the Design and Implementation of Reconfigurable User Interfaces.- COMET(s), A Software Architecture Style and an Interactors Toolkit for Plastic User Interfaces.- Executable Models for Human-Computer Interaction.- A Middleware for Seamless Use of Multiple Displays.- Graphic Rendering Considered as a Compilation Chain.- Towards Specifying Multimodal Collaborative User Interfaces: A Comparison of Collaboration Notations.- Towards Characterizing Visualizations.- Towards Usability Evaluation for Smart Appliance Ensembles.- Task Model Refinement with Meta Operators.- Utilizing Dynamic Executable Models for User Interface Development.