Digital technology is fundamentally altering the world we live in, but can only be truly understo...

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

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

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

Digital technology is fundamentally altering the world we live in, but can only be truly understo...

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

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

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

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

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