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
- 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
Viser 50 ud af 64 elementerVis mere
