Methods, Models and Tools for Fault Tolerance

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

Mastering Windows Server 2012 R2

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

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

Trustworthy Cyber-Physical Systems Engineering

Mastering Ubuntu Server: Gain expertise in the art of deploying, configuring, managing, and troubleshooting Ubuntu Server, Edition 3

Industrial Deployment of System Engineering Methods

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

Reliable Software Technologies – Ada-Europe 2011: 16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24, 2011. Proceedings

Concurrency in Dependable Computing

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

Programming with MotifTM

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

Windows 10: 101 Tips & Tricks

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings