ACM Books – serie
Visar alla böcker i serien ACM Books. Handla med fri frakt och snabb leverans.
26 produkter
Turing's Children
How His Ideas Have Shaped the Modern World
Av Devdatt Dubhashi, Alessandro Panconesi m. fl.
Häftad, 2026
514 kr
Lägg i varukorg
This book explores the profound legacy of Alan Turing, and how his five great ideas have been developed by the winners of the Turing Prize to shape the digital world we live in today. These five groundbreaking concepts—universal computability and insolvability, cryptography, electronic digital …
Multi-LLM Agent Collaborative Intelligence
The Path to Artificial General Intelligence
Inbunden, 2025
1314 kr
Lägg i varukorg
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 …
Logic, Automata, and Computational Complexity
The Works of Stephen a. Cook
Häftad, 2023
579 kr
Lägg i varukorg
Professor Stephen A. Cook is a pioneer of the theory of computational complexity. His work on NP-completeness and the P vs. NP problem remains a central focus of this field. Cook won the 1982 Turing Award for "his advancement of our understanding of the complexity of computation in a significant …
Logic, Automata, and Computational Complexity
The Works of Stephen a. Cook
Inbunden, 2023
816 kr
Lägg i varukorg
Professor Stephen A. Cook is a pioneer of the theory of computational complexity. His work on NP-completeness and the P vs. NP problem remains a central focus of this field. Cook won the 1982 Turing Award for "his advancement of our understanding of the complexity of computation in a significant …
From Algorithms to Thinking Machines
The New Digital Power
Häftad, 2023
453 kr
Lägg i varukorg
This book introduces and provides an analysis of the basic concepts of algorithms, data, and computation and discusses the role of algorithms in ruling and shaping our world. It provides a clear understanding of the power and impact on humanity of the pervasive use of algorithms.From Algorithms to …
Formal Methods for Safe Autonomy
Data-driven Verification, Synthesis, and Applications
Av Chuchu Fan
Inbunden, 2024
844 kr
Lägg i varukorg
There are significant financial and legal implications for ensuring design correctness and safety in autonomous systems. This book introduces new verification and synthesis algorithms to provide certifiable trusts for real-world autonomous systems. On the theoretical front, the techniques are armed …
Seymour Cray Era of Supercomputers
From Fast Machines to Fast Codes
Av Boelie Elzen, Donald MacKenzie
Inbunden, 2025
5,0 utav 5 stjärnor. Totalt antal röster: (1)
732 kr
Lägg i varukorg
This book describes the development and use of supercomputers in the period 1960 - 1996, a time that can be called the Seymour Cray Era. For more than three decades, Cray's computer designs were seen as the yardstick against which all other efforts were measured. Initially, this yardstick was sheer …
Formal Verification of Just-in-Time Compilation
Häftad, 2025
639 kr
Lägg i varukorg
This book outlines a methodology to develop formally verified Just-in-Time compilers. Just-in-Time compilation is a technique to execute programs, where execution is interleaved with optimizations of the program itself. These compilers often produce fast executions, so much so that their use has …
System-2 Reasoning: from Semantic Anchoring to Causal Intelligence, Volume 2
The Path to Artificial General Intelligence
Av Edward Chang
Inbunden, 2026
1284 kr
Lägg i varukorg
Large language models can write poetry, pass bar exams, and generate fluent code. Yet they continue to fail in the domains where intelligence must be accountable: distinguishing causation from correlation, recognizing when evidence is insufficient, preserving commitments over time,and correcting …
System-2 Reasoning: from Semantic Anchoring to Causal Intelligence, Volume 2
The Path to Artificial General Intelligence
Av Edward Chang
Häftad, 2026
1052 kr
Lägg i varukorg
Large language models can write poetry, pass bar exams, and generate fluent code. Yet they continue to fail in the domains where intelligence must be accountable: distinguishing causation from correlation, recognizing when evidence is insufficient, preserving commitments over time,and correcting …
Biomedical Embedded Systems
From Design to Security
Av Nathan Allen, Hammond Pearce m. fl.
Häftad, 2025
732 kr
Lägg i varukorg
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 introduces a systematic design methodology for Medical CPSs (MCPSs) using the synchronous approach, which ensures deterministic and …
Functional Data Structures and Algorithms
A Proof Assistant Approach
Av Tobias Nipkow, Tobias Nipkow
Inbunden, 2025
869 kr
Lägg i varukorg
This book is an introduction to data structures and algorithms for functional programming languages, with a focus on proofs. Starting with sorting and searching, it moves on to priority queues and advanced design and analysis techniques: dynamic programming, amortized analysis, splay trees, skew …
Thinking About Programs
Av Gavin Lowe
Häftad, 2025
697 kr
Lägg i varukorg
This book describes how to think about computer programs, and how to use mathematics as part of that thinking. Many books and online tutorials teach the basics of coding: the syntax of the language, and how to translate an algorithm into code. But how do you come up with that algorithm? And how can …
Science of Software Product Lines
Av Don Batory
Inbunden, 2025
877 kr
Lägg i varukorg
This text is about compositional programming, where programs are constructed by composing prewritten software building blocks. Three modern compositional paradigms are covered, listed in order of decreasing emphasis:A Software Product Line is a design for a family of programs. Each program is …
Foundations of Computing and Machine Learning
The Work of Leslie Valiant
Häftad, 2026
877 kr
Lägg i varukorg
This volume is a celebration of Leslie Valiant's scientific and intellectual achievements. It contains eight of Valiant's most impactful research works, along with accompanying contributions providing modern perspectives on these landmark papers in the context of contemporary research in complexity …
Foundations of Computing and Machine Learning
The Work of Leslie Valiant
Inbunden, 2026
1110 kr
Lägg i varukorg
This volume is a celebration of Leslie Valiant's scientific and intellectual achievements. It contains eight of Valiant's most impactful research works, along with accompanying contributions providing modern perspectives on these landmark papers in the context of contemporary research in complexity …
Turing's Children
How His Ideas Have Shaped the Modern World
Av Devdatt Dubhashi, Alessandro Panconesi m. fl.
Inbunden, 2026
732 kr
Lägg i varukorg
This book explores the profound legacy of Alan Turing, and how his five great ideas have been developed by the winners of the Turing Prize to shape the digital world we live in today.These five groundbreaking concepts—universal computability and insolvability, cryptography, electronic digital …
Multi-LLM Agent Collaborative Intelligence
The Path to AGI
Av Edward Chang
Häftad, 2025
1042 kr
Lägg i varukorg
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 …
Multi-LLM Agent Collaborative Intelligence
The Path to AGI
Av Edward Chang
Inbunden, 2025
1185 kr
Lägg i varukorg
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 …
Human-AI Collaboration to Support Mental Health and Well-Being
Häftad, 2026
1157 kr
Lägg i varukorg
As the global mental health crisis intensifies, the gap between the need for and the availability of quality care continues to widen. This book explores a promising and innovative solution: human–artificial intelligence (AI) collaboration. Drawing inspiration from years of research in AI, …
Human-AI Collaboration to Support Mental Health and Well-Being
Inbunden, 2026
1376 kr
Lägg i varukorg
As the global mental health crisis intensifies, the gap between the need for and the availability of quality care continues to widen. This book explores a promising and innovative solution: human–artificial intelligence (AI) collaboration. Drawing inspiration from years of research in AI, …
Turning Points in the Analog and Digital World
Häftad, 2025
908 kr
Lägg i varukorg
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 …
Common Sense in Large Language Models
Häftad, 2026
1073 kr
Lägg i varukorg
This book provides the first comprehensive scientific examination of the structural divide between massive knowledge acquisition and the fluid "common sense" reasoning required for human-level intelligence in machines. Written for researchers, artificial intelligence practitioners, and graduate …
Common Sense in Large Language Models
Inbunden, 2026
999 kr
Lägg i varukorg
This book provides the first comprehensive scientific examination of the structural divide between massive knowledge acquisition and the fluid "common sense" reasoning required for human-level intelligence in machines. Written for researchers, artificial intelligence practitioners, and graduate …
Algorithms
A Gentler Approach
Av Russell Impagliazzo, Ragesh Jaiswal
Inbunden, 2026
896 kr
Lägg i varukorg
This book confronts head-on the main challenges students face in algorithm design and analysis. While maintaining rigor, it breaks down some of the most difficult aspects of algorithm design into step-by-step procedures that all students can follow. In the discussion of basic algorithm design …
Foundations of Computing and Machine Learning
The Work of Leslie Valiant
Häftad, 2026
869 kr
Tillfälligt slut
This volume is a celebration of Leslie Valiant's scientific and intellectual achievements. It contains eight of Valiant's most impactful research works, along with accompanying contributions providing modern perspectives on these landmark papers in the context of contemporary research in complexity …
