The Seymour Cray Era of Supercomputers: From Fast Machines to Fast Codes Donald MacKenzie, Boelie Elzen
ACM Books-kirjat järjestyksessä
- Formal Verification of Just-in-Time Compilation Aurèle Barrière
- Indistinguishability Obfuscation from Well-Studied Assumptions Aayush Jain
- Calculated Imagery: A History of Computer Graphics in Hollywood Cinema Mark J.P. Wolf
- Sustainable Interactive Wireless Stickers: From Materials to Devices to Applications Nivedita Arora
- Thinking About Programs Gavin Lowe
- Functional Data Structures and Algorithms: A Proof Assistant Approach Tobias Nipkow
- Biomedical Embedded Systems: From Design to Security Nathan Allen, Hammond Pearce, Partha Roop
- Multi-LLM Agent Collaborative Intelligence: The Path to Artificial General Intelligence Edward Chang
- Turning Points in the Analog and Digital World Herbert Bruderer
- Turing's Children: How His Ideas Have Shaped The Modern World Alessandro Panconesi, Gerardo Schneider, Devdatt Dubhashi
- Science of Software Product Lines Don Batory
- System-2 Reasoning: From Semantic Anchoring to Causal Intelligence: The Path to Artificial General Intelligence, Volume 2 Edward Chang
- Human-AI Collaboration to Support Mental Health and Well-Being Ashish Sharma
- Common Sense in Large Language Models Mayank Kejriwal
- Geospatial Data Science: A Hands-on Approach for Building Geospatial Applications using Linked Data Technologies
- Providing Sound Foundations for Cryptography: On the work of Shafi Goldwasser and Silvio Micali
- Theories of Programming: The Life and Works of Tony Hoare
- Democratizing Cryptography: The Work of Whitfield Diffie and Martin Hellman
- The Handbook of Multimodal-Multisensor Interfaces, Volume 2: Signal Processing, Architectures, and Detection of Emotion and Cognition
