Formal Techniques in Real-Time and Fault-Tolerant Systems: 6th International Symposium, FTRTFT 2000 Pune, India, September 20-22, 2000 Proceedings

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

The French School of Programming

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

Diffusion of Innovations, 5th Edition: Edition 5

Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions

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

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

Tests and Proofs: First International Conference, TAP 2007 Zurich, Switzerland, February 12-13, 2007 Revised Papers

The Alignment Problem: Machine Learning and Human Values

Tools for Practical Software Verification: International Summer School, LASER 2011, Elba Island, Italy, Revised Tutorial Lectures

Making Things Happen: Mastering Project Management

Empirical Software Engineering and Verification: International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures

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

Present and Ulterior Software Engineering

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

Software Engineering: International Summer Schools, LASER 2013-2014, Elba, Italy, Revised Tutorial Lectures

Time Management for System Administrators: Stop Working Late and Start Working Smart

Dependable Systems: Software, Computing, Networks: Research Results of the DICS Program