Digital technology shapes our daily lives, from smartphones to autonomous cars, and Human-Compute...

Digital technology shapes our daily lives, from smartphones to autonomous cars, and Human-Compute...

Every AI system needs to interact with humans and AI is affecting nearly every human engagement w...

Every AI system needs to interact with humans and AI is affecting nearly every human engagement w...

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

An authoritative and accessible one-stop resource, the first edition of An Introduction to Artifi...

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