ACM Books
High Quality, Advanced-Level Books for the Computing Community
ACM Books is a series of scholarly research monographs and graduate-level texts, authored by computer scientists and practitioners at the forefront of computing technology. The series includes books from across the spectrum of computer science, geared to researchers, educators, practitioners and students.
The series focuses on four kinds of books: graduate-level textbooks, research monographs that provide an overview of established and emerging fields, practitioner-level professional books, and books devoted to the history and social impact of computing. ACM Books are conveniently published as ebooks and print volumes at affordable prices and widely distributed through booksellers and to libraries and individual ACM members via the ACM Digital Library.
Find Subject Coverage that Spans the Entire Range of Computing Science
The ACM Books series is comprehensive in its coverage of both established and emerging computing fields. At present, the series' editorial scope spans a broad list of subject areas. We will expand this list to cover all areas of computer science and engineering research, and so this list will grow and change.
Discover an Editorial Board Comprised of the Foremost Names in Computer Science
ACM Books is managed by an editorial board composed of world-renowned professionals in computer science and engineering who collectively represent the field’s major areas of study.
Authors – Submit Your Work to the World's Most Respected Computing Science Publisher
See author instructions for information to help authors submit proposal, prepare manuscripts, and learn about ACM’s publishing policies.
Smart, Aggressive Promotion Drives Sales of ACM Books
As the world's largest international association and publisher in the field of computing, ACM has the ability to promote your work to a global audience. To enhance discovery, all ACM Books are included in the ACM Digital Library. At present, more than 1,500,000 students, researchers, educators, and practitioners from over 2,800 institutions from academia, government, and industry regularly download content from the ACM Digital Library. Learn more.
Flexible Purchase Options for Libraries and Individuals
ACM Books are priced affordably for institutions to maximize the accessibility of all titles published in the series. Pricing is based on an “ownership model” that provides “archival rights” for customers purchasing an entire collection of ACM Books, with the ability to locally host individual titles for internal use at the discretion of the purchasing institution.
While individual titles in the series are available for purchase through the most popular book and e-book retailers, the most affordable way for individuals to access every book is through the heavily discounted ACM Membership pricing option ($29 annual price for professional members and $10 annual price for student members).
Bundled pricing for institutions makes it possible for all users within an institution to have unrestricted access to titles published in the ACM Books series.
Read more detailed pricing information.
New Title from ACM Books: Functional Data Structures and Algorithms
Functional Data Structures and Algorithms: A Proof Assistant Approach by Tobias Nipkow et al. is an introduction to data structures and algorithms for functional programming languages, with a focus on proofs. What sets this book apart from existing books on algorithms is that all proofs have been machine-checked by the proof assistant Isabelle with definitions and proofs are available online. This book is aimed at teachers and students but is also a reference work for programmers and researchers who are interested in the verified details of some algorithm or proof.
New Title from ACM Books: Thinking about Programs
Thinking About Programs is based on Gavin Lowe's experience of 30 years of teaching programming at the University of Oxford and is an excellent choice for early programming courses offered by universities worldwide. It is a rigorous and thoughtfully structured textbook designed to equip students with both the theoretical underpinnings and practical skills essential in today’s programming landscape. Combining pedagogical clarity with up-to-date industry relevance, the book guides learners through fundamental programming concepts, algorithmic thinking, and problem-solving strategies while fostering a deep understanding of computational logic.
New Title from ACM Books: Sustainable Interactive Wireless Stickers
Today’s Internet of Things (IoT) devices are bulky, expensive, require battery maintenance, and involve costly installation. In contrast, the interactive stickers introduced in Sustainable Interactive Wireless Stickers: From Materials to Devices to Applications are low maintenance, inexpensive, and easy to deploy. Focusing on power, form factor, and cost as system design parameters, Nivedita Arora describes stickers that have simple circuitry and can sustain themselves while wirelessly communicating and responding to various human Interactions.
New Title from ACM Books: Calculated Imagery
Calculated Imagery: A History of Computer Graphics in Hollywood Cinema by Mark J. P. Wolf is a comprehensive history of computer graphics in Hollywood cinema. As the first such work of its kind, it is an essential reference for anyone interested in the history of cinema, visual effects, or computer graphics, and the industries of which they are a part. Throughout the book, the histories of individuals, companies, films, and computer graphics techniques are explored in detail, as well as changes in the visual effects (VFX) industry itself over time.
New Title from ACM Books: Indistinguishability Obfuscation from Well-Studied Assumptions
Software obfuscation is used in cryptography to transform source code to make it unintelligible without altering what it computes. As a software security mechanism, it is essential that software obfuscation have a firm mathematical foundation. In Indistinguishability Obfuscation from Well-Studied Assumptions, Aayush Jain uses the research which earned him the ACM Dissertation Award to establish the feasibility of mathematically rigorous software obfuscation from well-studied hardness conjectures. The mathematical object that the author constructs, indistinguishability obfuscation, is considered a theoretical “master tool” in the context of cryptography.
