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,...

Designing a good interface isn't easy. Users demand software that is well-behaved, good-looking, and easy to use. Your clients or managers demand originality and a short time to market. Your UI technology -- web applications, desktop software, even mobile devices -- may give you the tools you need, but little guidance on how to use them...

What makes an operating system modern? According to author Andrew Tanenbaum, it is the awareness of high-demand...

Increasing demand on industrial capacity has, as an unintended consequence, an accompanying increase in harmful and hazardous wastes. Recognizing the need for a comprehensive reference on the technologies and strategies available for waste treatment in specific industries, four esteemed editors gathered to produce the highly popular Handbook of...

The book starts with a quick recap of the fundamentals of modern JavaScript...

Fully revised for the latest exam release, this authoritative volume offers thorough coverage of all the material on the Certified Information Systems Security Professional (CISSP) exam. Written by a renowned security expert and CISSP, this guide features complete details on all 10 exam domains...