 |
|
|
|
 Handbook of Practical Logic and Automated ReasoningThis book meets the demand for a self-contained and broad-based account of the concepts, the machinery and the use of automated reasoning. The mathematical logic foundations are described in conjunction with practical application, all with the minimum of prerequisites. The approach is constructive, concrete and algorithmic: a key feature is that... | | MCTS: Windows Server Virtualization Configuration Study Guide: (Exam 70-652)
The MCTS is Windows Server Virtualization Configuring exam, and is Microsoft?s newest addition to their exam repertoire and tests candidates? ability to use Hyper-V and server virtualization as part of their network infrastructure solution. The exam targets IT professionals who are looking to enhance their skills and distinguish themselves... | | Zend Framework in ActionFrom rather humble beginnings as the Personal Home Page scripting language, PHP has found its way into almost every server, corporation, and dev shop in the world. On an average day, somewhere between 500,000 and 2 million coders do something in PHP. Even when you use a well-understood language like PHP, building a modern web application... |
|
The Dictionary of Strum and Picking Patterns (Fretted)If you play rock, blues, country, pop, soul/funk, heavy metal, jazz, or folk, here are all the strumming and picking patterns you need. Over 150 patterns and nearly 100 rhythmic grooves help you cover any musical situation. Styles are cross-referenced. The book includes tablature, music, and a recording of every pattern, plus tips on equipment... | | C# 4.0 in a Nutshell: The Definitive Reference
What people are saying about C# 4.0 in a Nutshell
"C# 4.0 in a Nutshell is one of the few books I keep on my desk as a quick reference. It is a book I recommend." --Scott Guthrie, Corporate Vice President, .NET Developer Platform, Microsoft Corporation
"A must-read for a concise... | | |
|
| Result Page: 37 36 35 34 33 32 31 30 29 28 27 26 25 24 23 22 21 20 19 |
