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

Computational Methods in Systems Biology: 7th International Conference, CMSB 2009

The Filter Bubble: What The Internet Is Hiding From You

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

Handbook on the Ethics of Artificial Intelligence

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

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

Theoretical Computer Science - Proceedings Of The 6th Italian Conference

The Culture of Digital Fighting Games: Performance and Practice

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)

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

Facebook Fanatic: Explode Your Popularity, Buzz Your Band and Secure Your Privacy on Facebook

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

Making Things Happen: Mastering Project Management

Sharenthood: Why We Should Think before We Talk about Our Kids Online

The Technological Singularity

The Big Switch: Rewiring the World, from Edison to Google