Certified Programs and Proofs: First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011, Proceedings

Crafting Interpreters

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

Mastering Windows Server 2012 R2

AIX 7.2, PowerVM - UNIX, Virtualization and Security, An administrator's guide

Compiler Design

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

Chromebook: 101 Tips & Tricks For Chrome OS

Beginning Linux Programming

Windows 10: 101 Tips & Tricks

Xamarin Mobile Application Development: Cross-Platform C# and Xamarin.Forms Fundamentals

Taking Your iPhone to the Max, iOS 5 Edition

C++ Quick Syntax Reference

Juniper SRX Series: A Comprehensive Guide to Security Services on the SRX Series

Optimizing HPC Applications with Intel Cluster Tools: Hunting Petaflops

Windows 7 Simplified