Um Studibuch in vollem Umfang nutzen zu können, empfehlen wir Dir Javascript in Deinem Browser zu aktiveren.

Nachhaltiges Unternehmen

Faire Preise

Schneller und kostenloser Versand ab 14,90 € Bestellwert

The Handbook of Formal Methods in Human-Computer Interaction (Human–Computer Interaction Series)

Name: The Handbook of Formal Methods in Human-Computer Interaction (Human–Computer Interaction Series)
Price: 320.99 EUR
Availability: InStock
Author: Weyers, Benjamin und Bowen, Judy und Dix, Alan und Palanque, Philippe
ISBN: 3319518372

Weyers, Benjamin und Bowen, Judy und Dix, Alan und Palanque, Philippe

inkl. MwSt. Versandinformationen

Artikel zZt. nicht lieferbar

Kurzinformation

Sprache:

Englisch

ISBN:

3319518372

Verlag:

Springer

Seitenzahl:

575

Auflage:

Erschienen:

2017-06-01

Dieser Artikel steht derzeit nicht zur Verfügung!

Gebrauchte Bücher kaufen

Information

Das Buch befindet sich in einem sehr guten, unbenutzten Zustand.

Information

Das Buch befindet sich in einem sehr guten, gelesenen Zustand. Die Seiten und der Einband sind intakt. Buchrücken/Ecken/Kanten können leichte Gebrauchsspuren aufweisen.

Information

Das Buch befindet sich in einem guten, gelesenen Zustand. Die Seiten und der Einband sind intakt. Buchrücken/Ecken/Kanten können Knicke/Gebrauchsspuren aufweisen.

Information

Das Buch befindet sich in einem lesbaren Zustand. Die Seiten und der Einband sind intakt, jedoch weisen Buchrücken/Ecken/Kanten starke Knicke/Gebrauchsspuren auf. Zusatzmaterialien können fehlen.

Neues Buch oder eBook (pdf) kaufen

Information

Neuware - verlagsfrische aktuelle Buchausgabe.

Bestellen bei

Neu bestellen bei

E-Book bestellen bei

Handgeprüfte Gebrauchtware

Schnelle Lieferung

Faire Preise

inkl. MwSt. Versandinformationen

Artikel zZt. nicht lieferbar

Weitere Zahlungsmöglichkeiten

Beschreibung

The Handbook of Formal Methods in Human-Computer Interaction (Human–Computer Interaction Series)

Diese Beschreibung wurde mittels künstlicher Intelligenz generiert

"The Handbook of Formal Methods in Human-Computer Interaction" von Philippe Palanque ist ein umfassendes Werk, das sich mit der Anwendung formaler Methoden im Bereich der Mensch-Computer-Interaktion (HCI) befasst. Das Buch bietet einen detaillierten Überblick über verschiedene formale Ansätze und Techniken, die zur Verbesserung der Zuverlässigkeit und Effizienz von interaktiven Systemen eingesetzt werden können. Es behandelt Themen wie Modellierung, Spezifikation und Verifikation von HCI-Systemen und beleuchtet, wie diese Methoden zur Entwicklung benutzerfreundlicher und sicherer Schnittstellen beitragen können. Zudem werden Fallstudien präsentiert, die die praktische Anwendung dieser Methoden in realen Projekten veranschaulichen. Das Buch richtet sich an Forscher, Praktiker und Studierende im Bereich HCI, die ein tieferes Verständnis für den Einsatz formaler Methoden erlangen möchten.

Produktdetails

Einband:

Gebunden

Seitenzahl:

575

Erschienen:

2017-06-01

Sprache:

Englisch

EAN:

9783319518374

ISBN:

3319518372

Verlag:

Springer

Gewicht:

1159 g

Auflage:

Alle gebrauchten Bücher werden von uns handgeprüft.
So garantieren wir Dir zu jeder Zeit Premiumqualität.

Über den Autor

Weyers, Benjamin und Bowen, Judy und Dix, Alan und Palanque, Philippe

Benjamin Weyers is a Senior Researcher at the Virtual Reality and Immersive Visualization Group at RWTH Aachen University, Germany. Benjamin is strongly involved in the FET-flagship project "The Human Brain Project" and co-leads the work package on interactive visualization. He studied Computer Science at the University of Duisburg-Essen and received his doctorate with the Computer Graphics and Scientific Computing Group at the University of Duisburg-Essen. His research interests include human-computer interaction (HCI), formal modelling, information visualization and virtual reality (VR). Judy Bowen is a Senior Lecturer at the University of Waikato in New Zealand. For the past ten years she has been working in the area of formal modelling for interactive systems, specifically safety-critical interactive systems. Her work includes projects that consider safety-properties of systems, contexts of use for non-context aware systems and the use of technology in hazardous work-places and environments. Alan Dix is a Professor in the Human-Computer Interaction Centre at the University of Birmingham and a Senior Researcher at Talis. He has worked in HCI for over thirty years and his research has included foundational work on formal methods in HCI, some of the earliest work on privacy in HCI and the ethics of machine learning, and more recently has included learning analytics, IT and data issues for marginal communities as well as walking one thousand miles around Wales. He runs the twice-yearly Tiree Tech Wave. Philippe Palanque is a Professor of Computer Science at the University of Toulouse and leads the ICS Research Group. Since the late 80's, he has worked on the development and application of formal description techniques for interactive systems. The main aim of his research has been to address Usability, Safety and Dependability in order to build trustable safety-critical Interactive Systems.