This volume contains the proceedings of the 17th International Conference on
Tools and Algorithms for the Construction and Analysis of Systems (TACAS
2011). TACAS 2011 took place in Saarbr¨ucken, Germany, March 28–31, 2011,
as part of the 14th European Joint Conferences on Theory and Practice of Software
(ETAPS 2011), whose...
Since you happen to be reading through the opening pages of Foundation Version Control for Web Developers then it’s safe to say you have some interest in finding out a little bit more about version control. It may be true that this new interest isn’t actually your own, but instead comes from a friend, colleague, or employer who...
I am very pleased to have been asked to write the foreword to this book. The technical advances in diagnostic radiology in the last few decades have transformed clinical practice and have been nothing short of astonishing. The subject of diagnostic radiology is now very large and radiology depa- ments are involved in all areas of modern...
Affect and emotion have come to dominate discourse on social and political life in the mobile and networked societies of the early 21st century.
This volume introduces a unique collection of essential concepts for theorizing and empirically investigating societies as Affective Societies. The concepts promote insights...
Inside Solaris 9 gives administrators the information they'll need to upgrade to Solaris 9 and maximize the new features. Author Bill Calkins begins by laying the foundations of Solaris, then explains how to get set up with Solaris 9 (including any potential pitfalls). Next,...
This textbook addresses students, professionals, lecturers and researchers interested in software product line engineering. With more than 100 examples and about 150 illustrations, the authors describe in detail the essential foundations, principles and techniques of software product line engineering. The authors are professionals and researchers...
Linear Programming: Foundations and Extensions is an introduction to the field of optimization. The book emphasizes constrained optimization, beginning with a substantial treatment of linear programming, and proceeding to convex analysis, network flows, integer programming, quadratic programming, and convex optimization.
Foundation ActionScript 3.0 Image Effects discusses the ins and outs of graphical manipulation through code of all the different elements available in a Flash project, from vectors to bitmaps to videos, from animated text effects to dynamic video filters. Flash 8 introduced a vast array of image features, such as blend modes and filters as well...
Fully revised to meet Adobe's Creative Suite 6 release, Exploring Adobe Photoshop CS6 is the resource you need for mastering this industry-standard digital imaging program. From the software's foundations to new features and enhancements only available in version CS6, the book delivers the stellar coverage and tools readers...
Foundations of Joomla is a step by step practical guide that explains building web sites and blogs using Joomla - a very popular and powerful content management system (CMS). The book takes you through the steps of installing Joomla, configuring your database, creating a blog and a website, followed by instructions on creating new...
With the reinvigoration of neural networks in the 2000s, deep learning has become an extremely active area of research, one that’s paving the way for modern machine learning. In this practical book, author Nikhil Buduma provides examples and clear explanations to guide you through major concepts of this complicated field.
This book is a collection of articles that explain the foundations of shader programming, from the High Level Shading Language and version 3.0 shader models to shadow mapping and stencil shadow volumes. The following provides a brief overview of these articles: Jason L. Mitchell and Craig Peeper, one of the creators of HLSL...
