New Titles From ACM Books

With ten new titles publishing in 2024, the ACM Books program continues in its mission to provide the community with high-quality monographs, advanced textbooks, and other scholarly works addressing the science, history, and social impact of computing.

Published titles:

• Chuchu Fan: Formal Methods for Safe Autonomy
• Gloria Townsend (Ed.): Rendering History: The Women of ACM-W
• Brad Myers: Pick, Click, Flick! The Story of Interaction Techniques
• Ronald Baecker with Jonathan Grudin: Digital Dreams Have Become Nightmares: What We Must Do
• John Krumm (Ed.): Spatial Gems 2

Forthcoming titles:

• Omar Alonso and Ricardo Baeza-Yates (Eds.): Advanced Topics in Information Retrieval
• Aayush Jain: Indistinguishability Obfuscation from Well-Studied Assumptions
• Mark Wolf: Calculated Imagery: A History of Computer Graphics and Hollywood Cinema
• Boelie Elzen and Donald MacKenzie: The Seymour Cray Era of Supercomputers: From Fast Machines to Fast Codes
• Aurèle Barrière: Formal Verification of Just-in-time Compilation

All titles are available for purchase on the Digital Library at https://dl.acm.org/acmbooks. They may be accessed free of charge by members of institutions that have purchased the book collections, and at heavily discounted ratesby professional and student members of ACM.