Formal Methods For Interactive Systems

By Alan John Dix

Human-Computer Interaction

By Russell Beale, Alan Dix, Janet E. Finlay, Gregory D. Abowd, Dix, Alan, Finlay, Janet E., Abowd, Gregory D., Beale, Russell

Much has changed since the first edition of human¿computer interaction was published. Ubiquitous computing and rich sensor-filled environments are finding their way out of the laboratory, not just...

Human-computer interaction

By

Human Computer Interaction

By Gregory D. Abowd, Janet Finlay, Russell Deale, Alan Dix

Advances in ubiquitous computing

By

"This book investigates the technology of ubiquitous computing, emerging applications and services, and social issues vital for the successful deployment of a ubiquitous computing application. Prov...

Advances in ubiquitous computing

By

"This book investigates the technology of ubiquitous computing, emerging applications and services, and social issues vital for the successful deployment of a ubiquitous computing application. Prov...

TAMODIA 2005

By TAMODIA 2005 Gdansk Poland

An Introduction To Artificial Intelligence

By Janet Finlay, Alan Dix

The Handbook of Formal Methods in Human Computer Interaction

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

Remote Cooperation

By

We are constantly being told we are living in a shrinking world, but for many the opposite seems to be the case. Our work is increasingly being done out of the traditional office environment: whils...