Εξώφυλλο

Κώδικας QR

Formal methods in human-computer interaction /

Άλλοι συγγραφείς:	Palanque, Philippe,, Paterno, Fabio,
Μορφή:	Βιβλίο
Γλώσσα:	English
Στοιχεία έκδοσης:	London: Springer, 1997.
Σειρά:	Formal approaches to computing and information technology.
Ταξινομικός αριθμός:	004.01'9 FO.
Θέματα:	Human > Computer interaction.
Ετικέτες:	Προσθήκη ετικέτας Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!

Παρόμοια τεκμήρια

Where the action is : the foundations of embodied interaction /
από: Dourish, Paul.
Στοιχεία έκδοσης: (2001)

HCI models, theories, and frameworks toward a multidisciplinary science /
Στοιχεία έκδοσης: (2003)

Issues of human computer interaction /
Στοιχεία έκδοσης: (2005)

ACM transactions on computer-human interaction.
Στοιχεία έκδοσης: (1994)

Interacting with computers
Στοιχεία έκδοσης: (1989)

Cognitive ergonomics and human-computer interaction /
Στοιχεία έκδοσης: (1989)

Handbook of human-computer interaction/
Στοιχεία έκδοσης: (1997)

Understanding mobile human-computer interaction
από: Love, Steve, 1964-
Στοιχεία έκδοσης: (2005)

Understanding virtual reality interface, application, and design /
από: Sherman, William R.
Στοιχεία έκδοσης: (2003)

Improving your human-computer interface : a practical technique /
από: Monk, Andrew.
Στοιχεία έκδοσης: (1993)

Artificial life and virtual reality /
Στοιχεία έκδοσης: (1994)

Participatory Design: principles and Practices /
Στοιχεία έκδοσης: (1993)

The design of virtual environments /
από: Stuart, Rory.
Στοιχεία έκδοσης: (1996)

Understanding virtual reality : interface, application, and design /
από: Sherman, William R.
Στοιχεία έκδοσης: (2003)

The craft of information visualization readings and reflections /
από: Bederson, Benjamin.
Στοιχεία έκδοσης: (2003)

The virtual reality homebrewer's handbook /
από: Hollands, Robin.
Στοιχεία έκδοσης: (1996)

Context and Consciousness: activity theory and human-computer interaction /
Στοιχεία έκδοσης: (1996)

Embodied conversational agents /
Στοιχεία έκδοσης: (2000)

Interaction design for complex problem solving developing useful and usable software /
από: Mirel, Barbara.
Στοιχεία έκδοσης: (2004)

Observing the user experience a practitioner's guide to user research /
από: Kuniavsky, Mike.
Στοιχεία έκδοσης: (2003)

Affective computing /
από: Picard, Rosalind W.
Στοιχεία έκδοσης: (1997)

New trends in cooperative activities: understanding system dynamics in complex environments /
Στοιχεία έκδοσης: (2001)

Face detection and gesture recognition for human-computer interaction /
από: Yang, Ming-Hsuan.
Στοιχεία έκδοσης: (2001)

Usability engineering scenario-based development of human-computer interaction /
από: Rosson, Mary Beth.
Στοιχεία έκδοσης: (2002)

Advances in human-computer interaction I : proceedings of the panhellenic conference with international participation in human-computer interaction (PC-HCI 2001), December 7-9, 2001, Patras-Greece /
Στοιχεία έκδοσης: (2001)

Trust in agent societies : 11th international workshop, Trust 2008, Estoril, Portugal, May 12 -13, 2008, revised selected and invited papers /
Στοιχεία έκδοσης: (2009)

Understanding your users a practical guide to user requirements methods, tools, and techniques /
από: Courage, Catherine.
Στοιχεία έκδοσης: (2004)

Designing the user interface : strategies for effective human-computer interaction /
από: Shneiderman, Ben.
Στοιχεία έκδοσης: (1992)

HCI beyond the GUI design for haptic, speech, olfactory and other nontraditional interfaces /
Στοιχεία έκδοσης: (2008)

Moderating usability tests principles and practices for interacting /
από: Dumas, Joseph S., 1943-
Στοιχεία έκδοσης: (2008)

Persuasive technology using computers to change what we think and do /
από: Fogg, B. J.
Στοιχεία έκδοσης: (2003)

Thoughtful interaction design : a design perspective on information technology /
από: Lowgren, Jonas.
Στοιχεία έκδοσης: (2004)

Designing usable electronic text
από: Dillon, Andrew.
Στοιχεία έκδοσης: (2004)

New directions in intelligent interactive multimedia /
Στοιχεία έκδοσης: (2008)

New directions in intelligent interactive multimedia systems and services - 2 /
Στοιχεία έκδοσης: (2009)

Leonardo's laptop : human needs and the new computing technologies /
από: Shneiderman, Ben.
Στοιχεία έκδοσης: (2002)

Presence : teleoperators and virtual environments
Στοιχεία έκδοσης: (1992)

Ευφυείς πράκτορες σε εικονικά περιβάλλοντα /
από: Βοσινάκης, Σπυρίδωνας.
Στοιχεία έκδοσης: (2003)

Επικοινωνία Ανθρώπου - Υπολογιστή /
Στοιχεία έκδοσης: (2007)

The electronic home : social and spatial aspects : a scoping report .
Στοιχεία έκδοσης: (1993)