Formal Aspects in Security and Trust: 6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised Selected Papers

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

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

Programming Languages and Systems: 12th European Symposium on Programming, ESOP 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings

Diffusion of Innovations, 5th Edition: Edition 5

Foundations and Applications of Security Analysis: Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009, Revised Selected Papers

Mastering Ethereum: Building Smart Contracts and DApps

VLISP A Verified Implementation of Scheme: A Special Issue of Lisp and Symbolic Computation, An International Journal Vol. 8, Nos. 1 & 2 March 1995

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

Formal Methods for Computational Systems Biology: 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008

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

Formal Aspects of Security and Trust: 7th International Workshop, FAST 2010, Pisa, Italy, September 16-17, 2010. Revised Selected Papers

Handbook on the Ethics of Artificial Intelligence

Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday

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

Theoretical Computer Science - Proceedings Of The 6th Italian Conference

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

Foundations of Security, Protocols, and Equational Reasoning: Essays Dedicated to Catherine A. Meadows

Hacking the Hacker: Learn From the Experts Who Take Down Hackers

The Culture of Digital Fighting Games: Performance and Practice