Formal Aspects of Security: First International Conference, FASec 2002, London, UK, December 16-18, 2002, Revised Papers

Big Data: The Essential Guide to Work, Life and Learning in the Age of Insight

New Perspectives in Information Systems and Technologies, Volume 2

Integrated Formal Methods: 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings

How to Raise a Healthy Gamer: End Power Struggles, Break Bad Screen Habits, and Transform Your Relationship with Your Kids

Computer Security – ESORICS 2019: 24th European Symposium on Research in Computer Security, Luxembourg, September 23–27, 2019, Proceedings, Part II

Our Final Invention: Artificial Intelligence and the End of the Human Era

Applied Cryptography and Network Security: 14th International Conference, ACNS 2016, Guildford, UK, June 19-22, 2016. Proceedings

Decoding the Universe: How the New Science of Information Is Explaining Everythingin the Cosmos, fromOu r Brains to Black Holes

Information Security: 21st International Conference, ISC 2018, Guildford, UK, September 9–12, 2018, Proceedings

A Hacker's Mind: How the Powerful Bend Society's Rules, and How to Bend them Back

Principles of Protocol Design

The Filter Bubble: What The Internet Is Hiding From You

ZB 2005: Formal Specification and Development in Z and B: 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings

Handbook on the Ethics of Artificial Intelligence

Formal Aspects in Security and Trust: Third International Workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005, Revised Selected Papers

Adventures in Rule-Based Programming: A CLIPS Tutorial

Computer Security – ESORICS 2020: 25th European Symposium on Research in Computer Security, ESORICS 2020, Guildford, UK, September 14–18, 2020, Proceedings, Part II

Hackers: Heroes of the Computer Revolution - 25th Anniversary Edition

Financial Cryptography and Data Security: FC 2018 International Workshops, BITCOIN, VOTING, and WTSC, Nieuwpoort, Curaçao, March 2, 2018, Revised Selected Papers