The Seymour Cray Era of Supercomputers: From Fast Machines to Fast CodesDonald MacKenzie
ACM Books
Bøger fra ACM Books
- Formal Verification of Just-in-Time CompilationAurèle Barrière
- Indistinguishability Obfuscation from Well-Studied AssumptionsAayush Jain
- Calculated Imagery: A History of Computer Graphics in Hollywood CinemaMark J.P. Wolf
- Sustainable Interactive Wireless Stickers: From Materials to Devices to ApplicationsNivedita Arora
- Thinking About ProgramsGavin Lowe
- Functional Data Structures and Algorithms: A Proof Assistant ApproachTobias Nipkow
- Biomedical Embedded Systems: From Design to SecurityNathan Allen
- Multi-LLM Agent Collaborative Intelligence: The Path to Artificial General IntelligenceEdward Chang
- Turning Points in the Analog and Digital WorldHerbert Bruderer
- Turing's Children: How His Ideas Have Shaped The Modern WorldAlessandro Panconesi
- Science of Software Product LinesDon Batory
- System-2 Reasoning: From Semantic Anchoring to Causal Intelligence: The Path to Artificial General Intelligence, Volume 2Edward Chang
- Human-AI Collaboration to Support Mental Health and Well-BeingAshish Sharma
- Common Sense in Large Language ModelsMayank 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
- Spatial Gems, Volume 1
- Circuits, Packets, and Protocols: Entrepreneurs and Computer Communications, 1968-1988Andrew L. Russell
- Code Nation: Personal Computing and the Learn to Program Movement in AmericaMichael J. Halvorson
- Weaving Fire into Form: Aspirations for Tangible and Embodied InteractionBrygg Ullmer
- Edsger Wybe Dijkstra: His Life, Work, and LegacyTony Hoare
- Frontiers of Multimedia ResearchShih-Fu Chang
- Logic, Automata, and Computational Complexity: The Works of Stephen A. Cook
- Making Databases Work: The Pragmatic Wisdom of Michael StonebrakerMichael L. Brodie
- Shared-Memory Parallelism Can be Simple, Fast, and ScalableJulian Shun
- Verified Functional Programming in AgdaAaron Stump
- Effective Theories in Programming PracticeJayadev Misra
- A Framework for Scientific Discovery through Video GamesSeth Cooper
- Reactive Internet Programming: State Chart XML in ActionFranck Barbier
- The Handbook of Multimodal-Multisensor Interfaces, Volume 1: Foundations, User Modeling, and Common Modality CombinationsBjörn Schuller
- Communities of Computing: Computer Science and Society in the ACM
- Edmund Berkeley and the Social Responsibility of Computer ProfessionalsBernadette Longo
- Declarative Logic Programming: Theory, Systems, and ApplicationsMichael Kifer
- Hardness of Approximation Between P and NPAviad Rubinstein
- The VR Book: Human-Centered Design for Virtual RealityJason Jerald
- Computing and the National Science Foundation, 1950-2016: Building a Foundation for Modern ComputingPeter A. Freeman
- The Sparse Fourier TransformHaitham Hassanieh
- Data CleaningIhab F. Ilyas
- Ada's Legacy: Cultures of Computing from the Victorian to the Digital AgeRobin Hammerman
- Candidate Multilinear MapsSanjam Garg
- Text Data Management and Analysis: A Practical Introduction to Information Retrieval and Text MiningChengXiang Zhai
- Embracing Interference in Wireless SystemsShyamnath Gollakota
- The Continuing Arms Race: Code-Reuse Attacks and Defenses
- Computational Prediction of Protein Complexes from Protein Interaction NetworksSriganesh Srihari
- The Handbook of Multimodal-Multisensor Interfaces, Volume 3: Language Processing, Software, Commercialization, and Emerging Directions
- Heterogeneous Computing: Hardware and Software PerspectivesMohamed Zahran
- Concurrency: The Works of Leslie Lamport
- Semantic Web for the Working Ontologist: Effective Modeling for Linked Data, RDFS, and OWLJames Hendler
- The Essentials of Modern Software Engineering: Free the Practices from the Method Prisons!Ivar Jacobson
- Applied Affective ComputingSharon Oviatt
- Event Mining for Explanatory ModelingLaleh Jalali
- An Architecture for Fast and General Data Processing on Large ClustersMatei Zaharia
- The Societal Impacts of Algorithmic Decision-MakingManish Raghavan
- From Algorithms to Thinking Machines: The New Digital PowerDomenico Talia
- Linking the World's Information: Essays on Tim Berners-Lee's Invention of the World Wide Web
- The Handbook on Socially Interactive Agents: 20 years of Research on Embodied Conversational Agents, Intelligent Virtual Agents, and Social Robotics Volume 1: Methods, Behavior, Cognition
- Software: A Technical HistoryKim W. Tracy
- Spatial Gems: Volume 2
- Digital Dreams Have Become Nightmares: What We Must DoRonald M. Baecker
- Pick, Click, Flick!: The Story of Interaction TechniquesBrad A. Myers
- Rendering History: The Women of ACM-W
- Formal Methods for Safe Autonomy: Data-driven Verification, Synthesis, and ApplicationsChuchu Fan
- Information Retrieval: Advanced Topics and Techniques
Viser 67 ud af 67 elementer
