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

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

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

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

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

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

Eben noch war Harold Soyinka ein unbescholtener US-Bürger mit glücklichem Privatleben und gutem J...

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

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