This volume is based on the International Conference Logic at Work, held in Amsterdam, The Netherlands, in December 1992. The 14 papers in this volume are selected from 86 submissions and 8 invited contributions and are all devoted to knowledge representation and reasoning under uncertainty, which are core issues of formal artificial...

The book you’re holding in your hands is going to show you how to build your very own 3D Printer. It’s not science fiction. It’s a device that will allow you to print out (in plastic) whatever you can imagine. (Okay, that’s a bit of a stretch – there are size limitations when using this machine.) Read the...

You are a father or mother, a son or daughter, husband or wife, a significant other, a rock climber, a kite-flyer, a bicycle enthusiast, a marathon runner, a collector of old movies, a secret novelist, a boxing fan. You are the center of your universe. On the picture collage from the...

Our goal in developing the New Perspectives Series was to create books that give students the software concepts...

"The first step in securing the Smart Grid is to fully understand the threat landscape. This book provides both a timely and relevant overview of the subject - a must-read for anyone responsible for securing the grid as well as consumers looking to implement the technology!."-- Dr. Patrick Engebretson, Assistant Professor of...

The present book includes a set of selected papers from the fourth “International Conference on Informatics in Control Automation and Robotics” (ICINCO 2007), held at the University of Angers, France, from 9 to 12 May 2007. The conference was organized in three simultaneous tracks: “Intelligent Control Systems and...

Traditional software verification algorithms work by using a combination of Floyd-Hoare Logics, Model Checking and Abstract Interpretation, to check and infer suitable program invariants. However, these techniques are problematic in the presence of complex but ubiquitous constructs like generic data structures, first-class functions....

Want a great software development team? Look no further. How to Recruit and Hire Great Software Engineers: Building a Crack Development Team is a field guide and instruction manual for finding and hiring excellent engineers that fit your team, drive your success, and provide you with a competitive advantage. Focusing on proven...