Formal Models of Operating System Kernels

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

Formal Refinement for Operating System Kernels

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

Linux Bible: Edition 10

Windows 10: 101 Tips & Tricks

Windows 11 Simplified

Windows 11 For Dummies

Mastering Windows Server 2019: The complete guide for IT professionals to install and manage Windows Server 2019 and deploy new capabilities, Edition 2

Windows 11 All-in-One For Dummies

Active Directory For Dummies: Edition 2

Microsoft Windows Server 2008 R2 Administrator's Reference: The Administrator's Essential Reference

Macintosh Terminal Pocket Guide: Take Command of Your Mac

LPIC-1 Linux Professional Institute Certification Study Guide: Exam 101-500 and Exam 102-500, Edition 5

Mastering Ubuntu Server: Explore the versatile, powerful Linux Server distribution Ubuntu 22.04 with this comprehensive guide, Edition 4

Linux and the Unix Philosophy