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 3,000 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: Turning Points in the Analog and Digital World

Turning Points in the Analog and Digital World by Herbert Bruderer, presents “the digital age” as a central theme, covering digital transformation, social media, artificial intelligence, autonomous drones and mobile robots as well as self-driving vehicles. Among many other topics, the author also discusses quantum computers, DNA data storage, 3D printing, and the power and influence of technology giants. It includes more than 500 illustrations from the fields of mathematics, computing, astronomy, surveying, time measurement, and the construction of automatons.

Turning Points in the Analog and Digital World

New Title from ACM Books: Multi-LLM Agent Collaborative Intelligence

Multi-LLM Agent Collaborative Intelligence: The Path to Artificial General Intelligence by Edward Y. Chang, states that today’s large language models excel at pattern recall yet falter on long-range planning, self-critique, context loss, and the tendency of maximum-likelihood training to reward popularity over quality. MACI offers a promising route to AGI by orchestrating specialized LLM agents through explicit protocols rather than enlarging a single model. Crucially, MACI also modulates linguistic behavior, tuning each agent’s contentiousness and emotional tone, so the collective explores ideas from contrasting, affect-aware perspectives before converging.

Multi-LLM Agent Collaborative Intelligence: The Path to Artificial General Intelligence

New Title from ACM Books: Biomedical Embedded Systems: From Design to Security

Biomedical systems—such as pacemakers and automated insulin pumps—are Cyber-Physical Systems (CPSs) that must operate safely and reliably at all times. This book by Nathan Allen, Hammond Pearce, and Partha Roop introduces a systematic design methodology for Medical CPSs (MCPSs) using the synchronous approach, which ensures deterministic and reactive execution—key to safety-critical performance. Through a detailed case study of a pacemaker and a modeled human heart, this book demonstrates how the synchronous approach enables accurate modeling, verification, and automated code generation. This is a clear, practical guide to designing safe and verifiable medical cyber-physical systems.

New Title from ACM Books:  Biomedical Embedded Systems: From Design to Security

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.

Functional Data Structures and Algorithms: A Proof Assistant Approach