Beginning Kinect Programming with the Microsoft Kinect SDK gets you up and running developing Kinect applications for your PC using Microsoft tools and the official SDK. You will have a working Kinect program by the end of the first chapter! The following chapters will open up the secrets of three-dimensional vision, skeleton...

Databases are the workhorses of the information age. Like Atlas, they go largely unnoticed in supporting the digital world we’ve come to inhabit. It’s easy to forget that our digital interactions, from commenting and tweeting to searching and sorting, are in essence interactions with a database. Because of this fundamental...

This volume contains the proceedings of the 17th International SPIN Workshop on Model Checking Software (SPIN 2010). The workshop was organized by and held at the University of Twente, The Netherlands, on 27–29 September 2010. The workshop was co-located with the 5th International Conference on Graph Transformation (ICGT 2010)...

One...

The Shelly Cashman Series® offers the fi nest textbooks in computer education. We are proud that since Mircosoft Offi ce 4.3, our series of Microsoft Offi ce textbooks have been the most widely used books in education. With each new edition of our Offi ce books, we make signifi cant improvements based on the software and comments...

These are exciting times for those who live and work with technology every day, whether they are young people who have been using technology since birth, or, like many others, have had to adapt to it.

It is an exciting moment because in recent years there is no other example of technology that has changed our lives so...

Modern embedded systems are used for connected, media-rich, and highly integrated handheld devices such as mobile phones, digital cameras, and MP3 players. All of these embedded systems require networking, graphic user interfaces, and integration with PCs, as opposed to traditional embedded processors that can perform only limited functions...