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

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

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

🔒Hacking: The Core of Hacking: An Easy Guide to Open Secret Knowledge of Hacker🔓

Multi-Objective Optimization using Artificial Intelligence Techniques

The Art of Hacking

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

PC Hardware Engineering on My Pocket

Nature-Inspired Optimizers: Theories, Literature Reviews and Applications

Underground Mobile Phone Hacking

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

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

Absolute App Inventor 2: Android Programming for All

Elements of Robotics

Neural3000: The Next-Gen AI Technology: The World-Changer

C# 6.0 and the .NET 4.6 Framework: Edition 7

How To Protect Yourself Everything On The Internet

Professional SEO Secrets

Pro Git: Edition 2

Ultimate Hackers Training Kit