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

Formal Methods in Systems Engineering

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

XDA Developers' Android Hacker's Toolkit: The Complete Guide to Rooting, ROMs and Theming

Communicating Sequential Processes. The First 25 Years: Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers

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

E-Voting and Identity: 4th International Conference, Vote-ID 2013, Guildford, UK, July 17-19, 2013, Proceedings

Mastering Windows Server 2012 R2

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

Mastering Ethereum: Building Smart Contracts and DApps

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

Malware Development for Ethical Hackers: Learn how to develop various types of malware to strengthen cybersecurity

MR. BIG WEALTH: INSTAGRAM (how to be safe, use Reels. Gain followers and more)

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

Computer Security - ESORICS 2004: 9th European Symposium on Research Computer Security, Sophia Antipolis, France, September 13-15, 2004. Proceedings

Crypto: How the Code Rebels Beat the Government--Saving Privacy in the Digital Age

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