This volume contains the proceedings of the 10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2004). TACAS 2004 took place in Barcelona, Spain, from March 29th to April 2nd, as part of the 7th European Joint Conferences on Theory and Practice of Software (ETAPS 2004), whose aims,...

You already know you can create amazing things with LEGO, but did you know you can also make vehicles that roll and model plans that include landing gear and flaps that actually extend and retract? You can even make functional robots without getting into Mindstorms and programming. In Practical LEGO Technics, Mark...

Enterprise Data Center Design and Methodology is a practical guide to desinging a data center from inception through construction. The fundamental design principles take a simple, flexible, and modular approach based on accurate, real world requirements and capacities. This approach...

Are we noble in reason? Perfect, in God's image? Far from it, says New York University psychologist Gary Marcus. In this lucid and revealing book, Marcus argues that the mind is not an elegantly designed organ but rather a "kluge," a clumsy, cobbled-together contraption. He unveils a fundamentally new way of looking at the human...

With Drupal, Web professionals can create full-featured Web sites with just a few clicks. Drupal’s core is compact and well documented, but much of Drupal’s immense power lies elsewhere—in external modules. Drupal’s Building Blocks is an authoritative tutorial, reference, and...