May 24, 2023 – ACM Books is proud to announce the publication of Logic, Automata, and Computational Complexity: The Works of Stephen A. Cook, edited by Bruce M. Kapron. Cook was awarded the Turing Prize in 1982 for his theory of NP-completeness, one of the most fundamental and enduring contributions in computer science. This volume presents his work, his Turing Award address, a full bibliography of his work, and a biographical chapter. This is also a milestone for ACM Books as this is the final book in Collection II and the 50th title published. If you are interested in purchasing Collection II for your institution, please contact email@example.com.
May 1, 2022 – The following books are currently in production:
- Geospatial Data Science: A Hands-on Approach for
Developing Geospatial Applications
Koubarakis et al
- Manolis Koubarakis et al
- Linking the World’s Information: Essays on Tim
Berners-Lee’s Invention of the World Wide Web
- Oshani W.
Seneviratne & James Hendler
- Oshani W. Seneviratne & James Hendler
- The Societal Impacts of Algorithmic
- Manish Raghavan
- Formal Methods for Safe Autonomy
- Chuchu Fan
- Chuchu Fan
- From Algorithms to Thinking Machines
- Domenico Talia
April 24, 2022 – ACM Books is announcing the end of our distribution deal with Morgan & Claypool Publishers. ACM has worked with Morgan & Claypool since the inception of our book publishing program in 2014. While ACM books will no longer be available on the M&C bookstore, we will be providing a full range of purchasing and access options to everyone. The distribution deal will end on May 31st. We do not foresee any lag in availability via our worldwide network of wholesalers and retailers.
April 13, 2022 – We’re happy to announce that Linking the World’s Information, a Turing Award book on the work of Sir Tim Berners-Lee, is fast approaching. The estimate publication date will be in May or early June, so keep checking back! The book is edited by Oshani Seneviratne and James Hendler (Rensselaer Polytechnic Institute).
December 15, 2022 – ACM Books is proud to announce the publication of Prophets of Computing: Visions of Society Transformed by Computing by Dick van Lente (Erasmus University, retired). When electronic digital computers first appeared after World War II, they were treated as a revolutionary force. Business management, the world of work, administrative life, the nation state, and, shortly thereafter, everyday life were expected to change dramatically with the machines’ use. Since then, diverse prophecies of computing have continually emerged, through to the present day.
December 12, 2022 – ACM Books is proud to announce the publication of Effective Theories in Programming Practice, by Jayadev Misra (University of Texas at Austin). Set theory, logic, discrete mathematics, and fundamental algorithms (along with their correctness and complexity analysis) will always remain useful for computing professionals and need to be understood by students who want to succeed. This textbook explains a number of those fundamental algorithms to programming students in a concise, yet precise, manner.
December 8, 2022 – ACM Books is proud to announce the publication of On Monotonicity Testing and the 2-to-2 Games Conjecture by Dor Minzer (MIT). The probabilistically checkable proofs (PCP) theorem is one of the cornerstones of modern theoretical computer science. One area in which PCPs are essential is the area of hardness of approximation. Therein, the goal is to prove that some optimization problems are hard to solve, even approximately. Numerous ‘hardness of approximation’ results were proved using the PCP theorem; however, for some problems optimal results were not obtained. This book touches on some of these problems, and in particular the 2-to-2 games problem and the vertex cover problem.