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

• Completely updated every 2 years, Frommer's South Africa features gorgeous color photos of the sights and experiences that await you and a brand new history and culture chapter.
• Our author, a lifelong resident of South Africa, hits all the highlights-including safaris in South Africa and Botswana, side trips to Victoria...

With Photoshop Elements 9 for Mac OS X: Visual QuickStart Guide, readers can start with a tour of the interface and image-editing basics, or they can look up specific tasks to learn just what they need to know. This task-based, visual reference guide uses step-by-step instructions and plenty of screenshots to show readers how to capture and...

Whether you prefer to snap shots on your smartphone or don’t ever leave home without your DSLR, chances are you have way more photos than you ever dreamed possible. Photoshop Elements 12 All-in-One For Dummies is here to...

Completely revised and updated, this reference of choice for students and practitioners offers practical guidance and the latest information on normal growth and development, along with the diagnosis, management, and prevention of common childhood diseases and disorders. Discussions of the pathophysiologic aspects of pediatric disease, the...

In order for a business to thrive in today’s dynamic world, its computing infrastructure must enable the secure flow of information—not only within the business but also with suppliers and customers. However, many of today’s computing infrastructures suffer from “information chaos” and are unable to support this...