This new edition expands and revises the book throughout, with new material added to existing cha...

International Federation for Information Processing The IFIP series publishes state-of-the-art re...

Computer supported work is increasingly being done out of the traditional office environment, for...

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

International Federation for Information Processing The IFIP series publishes state-of-the-art re...

This volume gathers and introduces texts relating to English and Welsh Nonconformity. Through con...

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

Many people find statistics confusing, and perhaps even more confusing given recent publicity abo...

This lecture covers several core issues in user-centered data management, including how to design...

Gringo (BR) Min: 111 DD5.1 WS

TouchIT brings together insights from human-computer interaction and industrial design, exploring...

This book constitutes the referred proceedings of the First IFIP WG 13.7 International Workshop o...