This book constitutes revised selected papers from the workshops held in conjunction with EICS 20...

This book is the final outcome of the Eurographics Workshop on Design, Specification and Verifica...

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

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 four-volume set LNCS 9296-9299 constitutes the refereed proceedings of the 15th IFIP TC13 Int...

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

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

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

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

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

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