ACM Books – serie

Logic, Automata, and Computational Complexity

The Works of Stephen a. Cook

Logic, Automata, and Computational Complexity

The Works of Stephen a. Cook

From Algorithms to Thinking Machines

The New Digital Power

Seymour Cray Era of Supercomputers

From Fast Machines to Fast Codes

Formal Verification of Just-in-Time Compilation

System-2 Reasoning: from Semantic Anchoring to Causal Intelligence, Volume 2

The Path to Artificial General Intelligence

System-2 Reasoning: from Semantic Anchoring to Causal Intelligence, Volume 2

The Path to Artificial General Intelligence

Biomedical Embedded Systems

From Design to Security

Functional Data Structures and Algorithms

A Proof Assistant Approach

Thinking About Programs

Science of Software Product Lines

Foundations of Computing and Machine Learning

The Work of Leslie Valiant

Foundations of Computing and Machine Learning

The Work of Leslie Valiant

Turing's Children

How His Ideas Have Shaped the Modern World

Turing's Children

How His Ideas Have Shaped the Modern World

Multi-LLM Agent Collaborative Intelligence

The Path to AGI

Multi-LLM Agent Collaborative Intelligence

The Path to AGI

Human-AI Collaboration to Support Mental Health and Well-Being

Human-AI Collaboration to Support Mental Health and Well-Being

Turning Points in the Analog and Digital World