Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification

Formal Methods and Software Engineering: 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings

Superintelligence: Paths, Dangers, Strategies

Multi-Objective Optimization using Artificial Intelligence Techniques

If Anyone Builds It, Everyone Dies: Why Superhuman AI Would Kill Us All

Automated Technology for Verification and Analysis: 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021, Proceedings

Ghost in the Wires: My Adventures as the World's Most Wanted Hacker

The Book of Why: The New Science of Cause and Effect

The Art of Hacking

Semantic Technology: 6th Joint International Conference, JIST 2016, Singapore, Singapore, November 2-4, 2016, Revised Selected Papers

PC Hardware Engineering on My Pocket

Underground Mobile Phone Hacking

Absolute App Inventor 2: Android Programming for All

Sea of Rust: The post-apocalyptic science fiction epic about AI and what makes us human

Our Final Invention: Artificial Intelligence and the End of the Human Era

Agentic Artificial Intelligence: Harnessing AI Agents to Reinvent Business, Work and Life

Elements of Robotics