-
14.09.1995This book is the final outcome of the Eurographics Workshop on Design, Specification and Verifica...
-
01.07.2008
The modern world has made available a wealth of new possibilities for interacting with computers,...
-
INTERACT 2009 was the 12th of a series of INTERACT international c- ferences supported by the IFI...
-
30.01.2001
The wait for the year 2000 was marked by the fear of possible bugs that might have arisen at its ...
-
20.08.2015
The four-volume set LNCS 9296-9299 constitutes the refereed proceedings of the 15th IFIP TC13 Int...
-
18.02.2010
This book constitutes the refereed proceedings of the 8th International Workshop on Task Models a...
-
20.08.2015
The four-volume set LNCS 9296-9299 constitutes the refereed proceedings of the 15th IFIP TC13 Int...
-
INTERACT 2009 was the 12th of a series of INTERACT international c- ferences supported by the IFI...
-
20.08.2003
HCI is a fundamental and multidisciplinary research area. It is fundamental to the development an...
-
20.08.2015
The four-volume set LNCS 9296-9299 constitutes the refereed proceedings of the15th IFIP TC13 Inte...
-
30.11.2007
This book constitutes the refereed proceedings of the 6th International Workshop on Task Models a...
-
29.10.1997
Formal methods have already been shown to improve the development process and quality assurance i...