Collaborative Design for Embedded Systems: Co-modelling and Co-simulation

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

Modelling Systems: Practical Tools and Techniques in Software Development, Edition 2

Hacking into Hackers' Head: A step towards creating CyberSecurity awareness

Engineering Trustworthy Software Systems: 6th International School, SETSS 2024, Chongqing, China, April 14–21, 2024, Tutorial Lectures

FM 2016: Formal Methods: 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings

Ubuntu Using Hacking

Validated Designs for Object-oriented Systems

The Unaccountability Machine: Why Big Systems Make Terrible Decisions - and How The World Lost its Mind

Abstract State Machines, Alloy, B, VDM, and Z: Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings

Farming Simulator Modding For Dummies

Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops: CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6–10, 2021, Revised Selected Papers

Cyber Security

Gravity Advanced Level Physics GCE (Easy JavaScript Simulation) 1/2: 20170802 version

Kali Linux Cookbook

100 Excel Simulations: Using Excel to Model Risk, Investments, Genetics, Growth, Gambling and Monte Carlo Analysis

CYBER WAR AND IT'S PROTECTION

Deep Thinking: Where Machine Intelligence Ends and Human Creativity Begins