Integrated Formal Methods: Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 Proceedings

Crafting Interpreters

ZB 2000: Formal Specification and Development in Z and B: First International Conference of B and Z Users York, UK, August 29 - September 2, 2000 Proceedings

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

Mastering Windows Server 2012 R2

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

Programming with MotifTM

Windows 10: 101 Tips & Tricks

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

Taking Your iPad to the Max, iOS 5 Edition: Maximize iCloud, Newsstand, Reminders, FaceTime, and iMessage, Edition 3

Taking Your iPod touch to the Max: Edition 2

Windows 7 Simplified