Methods, Models and Tools for Fault Tolerance

Crafting Interpreters

XDA Developers' Android Hacker's Toolkit: The Complete Guide to Rooting, ROMs and Theming

Computer Safety, Reliability, and Security: 38th International Conference, SAFECOMP 2019, Turku, Finland, September 11–13, 2019, Proceedings

Abstract State Machines, Alloy, B, TLA, VDM, and Z: 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings

Mastering Windows Server 2012 R2

Concurrency in Dependable Computing

Linux Device Drivers: Where the Kernel Meets the Hardware, Edition 3

Integrated Formal Methods: 16th International Conference, IFM 2020, Lugano, Switzerland, November 16–20, 2020, Proceedings

FM 2011: Formal Methods: 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011, Proceedings

Software Engineering for Resilient Systems: 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4–5, 2017, Proceedings

Programming with MotifTM

Trustworthy Cyber-Physical Systems Engineering

Windows 10: 101 Tips & Tricks

Industrial Deployment of System Engineering Methods

The Business of Hacking: Creating, Developing, and Maintaining an Effective Penetration Testing Team