A type system is a syntactic method for automatically checking the absence of certain erroneous behaviors by classifying program phrases according to the kinds of values they compute. The study of type systems--and of programming languages from a type-theoretic perspective--has important applications in software engineering, language design,...

Improve your use of Photoshop in Web and print design. Prepare and plan for Web page development and print output, then skillfully apply the latest design and production techniques. Perform simple adjustments as well as complex tasks--optimize photographic imagery, build animation, add rollovers,...

There's only so much you can do by multitasking applications. Frequently, you just need another computer for testing software, trying out network configurations, or doing any of a dozen things that engineers and administrators need to do. VMware allows you to run several virtual machines on one physical computer, each completely...

Answering the question "What is death?" by focusing on the individual is blinkered. It restricts attention to a narrow zone around the individual body of a creature. Instead, how expansive is the answer we receive when we look at the context of death within the...

"AI Techniques for Game Programming" takes the difficult topics of genetic algorithms and neural networks and explains them in plain English. Gone are the tortuous mathematic equations and abstract examples to be found in other books. Each chapter takes readers through the theory a step at a time, explaining clearly how they can...