Erratum To: The Handbook of Formal Methods in Human-Computer Interaction

The Handbook of Formal Methods in Human-Computer Interaction
doi 10.1007/978-3-319-51838-1_21
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer International Publishing

Related search

Formal Methods in Computer-Aided Design

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Erratum To: Formal Methods for Distributed System Development

IFIP Advances in Information and Communication Technology
Computer NetworksInformation SystemsManagementCommunications
2017English

2008 Formal Methods in Computer-Aided Design

2008English

Computer Vision in Human-Computer Interaction

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

An Approach to Context in Human-Computer Interaction

Semiotica
LinguisticsLiteratureLiterary TheoryLanguage
2008English

Formal Methods and Human Communication

1996English

The Application of Psychology in Human-Computer Interaction

DEStech Transactions on Social Science, Education and Human Science
2017English

Using Formal Specifications in the Design of a Human-Computer Interface

1982English

Radar Sensing in Human-Computer Interaction

Interactions
Human-Computer Interaction
2017English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy