 |
|
|
 Verification of Sequential and Concurrent Programs (Texts in Computer Science)
This widely anticipated third edition provides a systematic exploration of one of the most common approaches to program verification, known as the assertional approach. This approach is applied to deterministic and nondeterministic sequential programs of varying complexity, together with both parallel and distributed concurrent programs. The... |  |  Apple Pro Training Series: Final Cut Pro for Avid Editors (4th Edition)
This is one book where, in fact, we do wish to compare apples to oranges. As often as possible,
we describe an Avid function and then describe the equivalent Final Cut Pro function
and how to access and apply it. In addition, the book offers images of Avid screens,
buttons, and icons so you can get your bearings... |  |  Play Framework Cookbook
Looking at the past years of application development, as a developer you might have noticed
a significant shift from desktop applications to web applications. The Web has evolved as the
major platform for applications and is going to take over many facets—not only in development
but also in everyday life, resulting in this shift... |
|
|
 Photoshop Down & Dirty Tricks for Designers
Corey Barker, Executive Producer of PlanetPhotoshop.com and one of the Photoshop Guys of Photoshop User TV, brings you this handy and inspiring volume in the Down & Dirty Tricks series. Yes, this book is an insane collection of some of the most mind-blowing Photoshop effects you’ve ever seen in one place. Ever wonder how that movie... |  |  iAd Production Beginner's Guide
Think of an iAd as a micro-app contained within an app, on a user's iPhone or iPad, that
they've downloaded from the App Store. When the user taps your advert's banner, it bursts
into life, filling the entire screen of their device.
iAd Beginner's Guide takes you from start to finish of building rich,... |  |  Pro Tools 9: Music Production, Recording, Editing, and Mixing
Prepare yourself to be a great producer when using Pro Tools in your studio. Pro Tools 9 for Music Production is the definitive guide to the software for new and professional users, providing you with all the vital skills you need to know. Covering both the Pro Tools HD and LE this book is extensively illustrated in color and packed... |
|
Result Page: 12 11 10 9 8 7 6 5 4 3 2 1 |