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

Crafting Interpreters

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

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

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

Diffusion of Innovations, 5th Edition: Edition 5

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

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

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

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

The Culture of Digital Fighting Games: Performance and Practice

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

Compiler Design

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

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

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