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

Few historical changes occur literally overnight, but on August 13 1961 eighteen million East Germans awoke to find themselves walled in by an edifice which was to become synonymous with the Cold War: the Berlin Wall.

This new history rejects traditional, top-down approaches to Cold War politics, exploring instead how the border...

If you thought negotiating deals and agreements is tough in today's business environment, then you should try doing so in prehistoric times! This book follows our two cavemen characters, Tork and Grunt, in their quest to ensure the survival of their tribe. Through the experiences of our two cavemen, you will learn everything you need to...

• Learn game architecture and design patterns with concrete examples using proper software engineering principles
• Save time and money with this handy reference...

For generations, humans have fantasized about the ability to create devices that can see into a person’s mind and thoughts, or to communicate and interact with machines through thought alone. Such ideas have long captured the imagination of humankind in the form of ancient myths and modern science fiction stories. Recent advances in...

If you're an IT professional, you know that virtualization is essential in today's computer infrastructures. This valuable reference is your key to all things Microsoft virtualization. Written by a Microsoft Most...