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

Moodle is an e-learning platform that has transformed the way in which many teachers deliver their subject to students. Teachers who create courses for students can now build online versions with choices and possibilities that might not previously have existed. It has made this transition to online courses a straightforward and...

This training kit is designed for information technology (IT) professionals who support or plan to support Windows Server 2008 R2 networks and who also plan to take the Microsoft Certified Technology Specialist (MCTS) 70-643 exam. It is assumed that before you begin using this kit, you have a solid, foundation-level understanding of Windows...

It doesn't matter how much time you invest in Android design, or even how careful you are when programming, mistakes are inevitable and bugs will appear. This book will help you minimize the impact of these errors in your Android project and increase your development productivity. It will show you the problems that are easily...

Engineering and technical graphics have gone through significant changes in the last decade, due to the use of computers and CAD software. It seems as if some new hardware or software development that impacts technical graphics is occurring every year. Although these changes are important to the subject of technical graphics, there...

During my experience of teaching aircraft structures, I have felt the need for a textbook written specifically for students of aeronautical engineering. Although there have been a number of excellent books written on the subject, they are now either out of date or too specialized in content to fulfill the requirements of an...

This book has evolved from class notes for the undergraduate Automation and Robotics course at the National Taiwan University. The course was originally designed for senior students in the Department of Civil Engineering, enhancing their understanding of robotics technology and its potential. As this course does not have any...

Parallel programming truly redefines the programming model for multicore architecture, which has become commonplace. For this reason, parallel programming has been elevated to a core technology in the Microsoft .NET Framework 4. In this version of the .NET Framework, the Task Parallel Library (TPL) and the System.Threading.Tasks...

Mathematics and mathematical modelling are of central importance in computer science. For this reason the teaching concepts of mathematics in computer science have to be constantly reconsidered, and the choice of material and the motivation have to be adapted. This applies in particular to mathematical analysis, whose significance has to be...

Game consoles have evolved to become complex computer systems that may contain evidence to assist in a criminal investigation. From networking capabilities to chat, voicemail, streaming video and email, the game consoles of today are unrecognizable from complex computer systems. With over 10 million XBOX 360s sold in the United States the...

In the spring of 2004, at the Annecy International Animation Festival in France, a dear friend and I had a conversation about animation books. Interesting, we noted, that there is not a single book dedicated to classical hand-drawn special effects animation, even though it is an enormously important aspect of the animation business,...

Requirements engineering (RE) has long been recognized as a major factor for achieving high-quality...