This book provides a comprehensive collection of methods and approaches for using formal methods ...
This book constitutes the refereed proceedings of the 6th International Workshop on Task Models a...
This book is part of a two-volume work that constitutes the refereed proceedings of the 11th IFIP...
This book is part of a two-volume work that constitutes the refereed proceedings of the 11th IFIP...
This book constitutes the refereed proceedings of the 8th International Workshop on Task Models a...
HCI is a fundamental and multidisciplinary research area. It is fundamental to the development an...
Engineering Interactive Systems 2007 is an IFIP working conference that brings together researche...
This book developed from an IFIP workshop which brought together methods and architecture researc...
This book is the final outcome of the Eurographics Workshop on Design, Specification and Verifica...
The modern world has made available a wealth of new possibilities for interacting with computers,...
InhaltsangabeRisk Management.- The Role of Night Vision Equipment in Military Incidents and Accid...
As its name suggests, the EHCI-DSVIS conference has been a special event, merging two different, ...