Programs as Diagrams: From Categorical Computability to Computable Categories

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

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

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

Principles of Security and Trust: First International Conference, POST 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings

The Filter Bubble: What The Internet Is Hiding From You

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

Handbook on the Ethics of Artificial Intelligence

Algebraic Methodology and Software Technology: 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010, Revised Selected Papers

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

The Culture of Digital Fighting Games: Performance and Practice

Algebra, Meaning, and Computation: Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday

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

Formal Modeling: Actors; Open Systems, Biological Systems: Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday

Making Things Happen: Mastering Project Management

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

Specification, Algebra, and Software: Essays Dedicated to Kokichi Futatsugi