Three major software verification techniques are discussed: Semantic program synthesis and...

Blauert's and Xiang's "Acoustics for Engineers" provides the material for an introductory course in engineering acoustics for students with basic knowledge in mathematics. In the second, enlarged edition, the teaching aspects of the book have been substantially improved. Carefully selected examples illustrate the application of...

With the technological advancement of mobile devices, social networking, and electronic services, Web technologies continues to play an ever-growing part of the global way of life, incorporated into cultural, economical, and organizational levels. Web Technologies: Concepts, Methodologies, Tools, and Applications provides a comprehensive...

One of the most striking features of mathematics is the fact that we are much more certain about the mathematical knowledge we have than about what mathematical knowledge is knowledge of. Are numbers, sets, functions and groups physical entities of some kind? Are they objectively existing objects in some non-physical, mathematical realm? Are...

• Get more done faster, and become a true Linux guru by mastering the command line!
• ...

This book is primarily designed for a senior undergraduate class in Categorical Data Analysis and for majors in biomedical, biostatistics and statistics programs, but can also be used as reference text for researchers working in the area, and /or for an introductory text in a graduate course on the subject. A prerequisite of a one year...

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