 |
|
|
|
|
 The Clausal Theory of Types
This book presents the theoretical foundation of a higher-order logic programming language with equality, based on the clausal theory of types. A long-sought goal of logic programming, the clausal theory of types is a logic programming language that allows functional computation as a primitive operation while having rigorous, sound, and... |  |  Lightroom 3: Streamlining Your Digital Photography Process
"I’ve worked my entire adult life in digital imaging, from managing high-volume production departments to running my own photography and printing businesses. And for many years, I’ve been teaching photographers how to be self-sufficient when it comes to working with their digital images.
Having used all major... |  |  Unauthorised Access: Physical Penetration Testing For IT Security Teams
The first guide to planning and performing a physical penetration test on your computer's security
Most IT security teams concentrate on keeping networks and systems safe from attacks from the outside-but what if your attacker was on the inside? While nearly all IT teams perform a variety of network and application... |
|
Result Page: 117 116 115 114 113 112 111 110 109 108 107 106 105 104 103 102 101 100 99 |