ACM Books
Prophets of Computing: Visions Society Transformed by Computing
Formal Methods for Safe Autonomy: Data driven Verification, Synthesis, and Applications
Weapons-Grade AI: The Automation of Cognitive Warfare
Semantic Web for the Working Ontologist: Effective Modeling Linked Data, RDFS, and...
Calculated Imagery: A History of Computer Graphics in Hollywood Cinema (ACM Books) (English Edition)
The Seymour Cray Era of Supercomputers: From Fast Machines to Codes (ACM...
Verified Functional Programming in Agda (ACM Books) (English Edition)
Torna su