Computers / Programming

Static Analysis of Software: The Abstract Interpretation

by Jean-Louis Boulanger

The existing literature currently available to students and researchers is very general, covering only the formal techniques of static analysis.

This book presents real examples of the formal techniques called...

Professional Microsoft Office Sharepoint Designer 2007

by Woodrow W. Windischman

With Professional Microsoft Office SharePoint Designer 2007, you can master all aspects of using Share Point Designer in an Enterprise environment to enhance Microsoft SharePoint Products and Technologies. Review...

3ds Max 2010 Bible

by Kelly L. Murdock

The bestselling 3ds Max book ever, now updated for the latest version

3ds Max is the world's most popular animation modeling and rendering software used to create 80 percent of commercially available video games,...

Professional Oracle WebLogic Server

by Robert Patrick & Gregory Nyberg

Authoritative guide to Oracle WebLogic Server-from Oracle insiders

If you're an experienced Java developer who wants to expand your skills, Professional Oracle WebLogic Server is the perfect guide for you. This...

Intel Xeon Phi Coprocessor High Performance Programming

by James Jeffers & James Reinders

Authors Jim Jeffers and James Reinders spent two years helping educate customers about the prototype and pre-production hardware before Intel introduced the first Intel Xeon Phi coprocessor. They have distilled...

Photoshop Cs5 Digital Classroom

by Jennifer Smith

Photoshop CS5 is included with the Creative Suite 5.5 bundle. This book covers the version of Photoshop that ships with both Creative Suite 5 and Creative Suite 5.5. Photoshop is the world’s most popular image-editing...

Teach Yourself Visually Photoshop Cs5

by Mike Wooldridge & Linda Wooldridge

Are you anxious to get started with the new release of Photoshop?  If you learn best visually, then you'll love the updated and expanded coverage found in this tutorial.

• Full-color throughout, this book...

Rails 3 Way, The, 2/e

by Obie Fernandez

This is the eBook version of the printed book.The Ruby on Rails Application Development Bible

Ruby on Rails strips complexity from the development process, enabling professional developers to focus on what...

Photoshop Cs4 Bible

by Stacy Cates

The ultimate comprehensive reference to Adobe now updated and revised to cover the CS4 release!

• As the industry-standard image-editing software for print and digital media, Photoshop has a phenomenally broad...

Indesign Cs4 Bible

by Galen Gruman

The soup-to-nuts guide on everything InDesign users need to know about the much-anticipated CS4 release!

• Packed with more than one thousand pages of real-world insight and valuable guidance, this authoritative...

The Golden Ticket: P, NP, and the Search for the Impossible

by Lance Fortnow

The P-NP problem is the most important open problem in computer science, if not all of mathematics. The Golden Ticket provides a nontechnical introduction to P-NP, its rich history, and its algorithmic implications...

Instant Galleria Howto

by Gheem Nathan Van

Get to grips with a new technology, understand what it is and what it can do for you, and then get to work with the most important features and tasks. This is a how-to book with practical recipes to make you...

Instant ForgedUI Starter

by Luiz Joseandro

Get to grips with a new technology, understand what it is and what it can do for you, and then get to work with the most important features and tasks.The book is a Starter guide to learning ForgedUI. This book...

Munin Plugin Starter

by Brinke Bart ten

Get to grips with a new technology, understand what it is and what it can do for you, and then get to work with the most important features and tasks.This hands-on Starter guide will get you up and running with...

Programming ArcGIS 10.1 with Python Cookbook

by Pimpler Eric

This book is written in a helpful, practical style with numerous hands-on recipes and chapters to help you save time and effort by using Python to power ArcGIS to create shortcuts, scripts, tools, and customizations."Programming...

Instant Adobe Edge Inspect Starter

by Khan Joseph

Get to grips with a new technology, understand what it is and what it can do for you, and then get to work with the most important features and tasks. This easy-to-understand Starter guide will get you up to...

Instant Apple iBooks How-to

by Chawdhary Zeeshan

Filled with practical, step-by-step instructions and clear explanations for the most important and useful tasks. Get the job done and learn as you go. Written in a step-by-step tutorial style, this book shows...

Appcelerator Titanium: Patterns and Best Practices

by Pollentine Boydlee & Ward Trevor

The book takes a step-by-step approach to help you understand CommonJS and Titanium architecture patterns, with easy to follow samples and plenty of in-depth explanations If you're an existing Titanium developer...

Cinder - Begin Creative Coding

by Rijnieks Krisjanis

Presented in an easy to follow, tutorial-style format, this book will lead you step-by-step through the multi-faceted uses of Cinder."Cinder: Begin Creative Coding" is for people who already have experience...

ElasticSearch Server

by Ku? Rafa? & Rogozin?ski Marek

This book is written in friendly, practical style with numerous hands-on examples and tutorials throughout.This book is written for developers who wish to leverage ElasticSearch to create a fast and flexible...