This four-volume set LNCS 16108-16111 constitutes the proceedings of the 20th IFIP TC 13 Internat...

This four-volume set LNCS 16108-16111 constitutes the proceedings of the 20th IFIP TC 13 Internat...

This four-volume set LNCS 16108-16111 constitutes the proceedings of the 20th IFIP TC 13 Internat...

This four-volume set LNCS 16108-16111 constitutes the proceedings of the 20th IFIP TC 13 Internat...

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,...

INTERACT 2009 was the 12th of a series of INTERACT international c- ferences supported by the IFI...

The wait for the year 2000 was marked by the fear of possible bugs that might have arisen at its ...

The four-volume set LNCS 9296-9299 constitutes the refereed proceedings of the 15th IFIP TC13 Int...

This book constitutes the refereed proceedings of the 8th International Workshop on Task Models a...

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...

HCI is a fundamental and multidisciplinary research area. It is fundamental to the development an...

The four-volume set LNCS 9296-9299 constitutes the refereed proceedings of the15th IFIP TC13 Inte...

This book constitutes the refereed proceedings of the 6th International Workshop on Task Models a...

Formal methods have already been shown to improve the development process and quality assurance i...

This book provides a comprehensive collection of methods and approaches for using formal methods ...

This book constitutes the refereed proceedings of the IFIP WG 13.2 13.5 Joint Working Conferences...

This book constitutes the refereed post-conference proceedings of the 7th IFIP WG 13.2 Internatio...

This book is part of a two-volume work that constitutes the refereed proceedings of the 11th IFIP...

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...

Recent accidents in a range of industries have increased concern over the design, development, ma...

This book is part of a two-volume work that constitutes the refereed proceedings of the 11th IFIP...

As its name suggests, the EHCI-DSVIS conference has been a special event, merging two different, ...

This book provides a comprehensive collection of methods and approaches for using formal methods ...

The four-volume set LNCS 9296-9299 constitutes the refereed proceedings of the 15th IFIP TC13 Int...

This book constitutes the refereed proceedings of the 9th International Conference on Rigorous St...

This book presents a series of revised papers selected from the Doctoral Consortium (DC) and the ...

This book presents a series of revised papers selected from the Workshops organized in conjunctio...

The four-volume set LNCS 6946-6949 constitutes the refereed proceedings of the 13th IFIP TC13 Int...

The four-volume set LNCS 6946-6949 constitutes the refereed proceedings of the 13th IFIP TC13 Int...

The four-volume set LNCS 6946-6949 constitutes the refereed proceedings of the 13th IFIP TC13 Int...

Recent accidents in a range of industries have increased concern over the design, development, ma...

The four-volume set LNCS 6946-6949 constitutes the refereed proceedings of the 13th IFIP TC13 Int...

th HESSD 2009 was the 7 IFIP WG 13.5 Working Conference in the series on Human Error, Safety and ...