Principles and Practice of Constraint Programming - CP 2001: 7th International Conference, CP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings

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

Algorithmic Decision Theory: 4th International Conference, ADT 2015, Lexington, KY, USA, September 27-30, 2015, Proceedings

Linux All-In-One For Dummies: Edition 7

Theory and Applications of Satisfiability Testing: 8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings

Mastering Windows Server 2012 R2

SAT 2005: Satisfiability Research in the Year 2005

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

Abstraction, Reformulation, and Approximation: 4th International Symposium, SARA 2000 Horseshoe Bay, USA, July 26-29, 2000 Proceedings

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

Handbook of Constraint Programming

SOFSEM 2024: Theory and Practice of Computer Science: 49th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2024, Cochem, Germany, February 19–23, 2024, Proceedings

Handbook of Satisfiability: Second Edition

Beginning Linux Programming

Windows 10: 101 Tips & Tricks

Taking Your iPhone to the Max, iOS 5 Edition