Automated and semi-automated manipulation of so-called labelled transition systems has become an important means in discovering flaws in software and hardware systems. Process algebra has been developed to express such labelled transition systems algebraically, which enhances the ways of manipulation by means of equational logic and term...

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

The hands-on example projects in this book are based on fictitious website development briefs, and they illustrate practical ways of applying Joomla! The book dives straight into the process of constructing the featured projects. A chapter is dedicated to each example website project. Each chapter is a separate project booklet, written...

Design is a deeply ingrained part of the human psyche. Since the earliest days when we were painting cave walls, we have been interested in creating objects that that tell a story or simply brighten up our surroundings. The advent of the computer has brought our interest in design to a whole new level. We can now manipulate our creations as...

Joomla! is one of the world's top open source content management systems, which enables you to build websites and powerful online applications. Out of the box, Joomla! does a great job of managing the content needed to enhance the functionality of your website. But for many people, the true power of Joomla! lies in its application...

Learn to secure Java EE...

NHibernate is an open source object-relational mapper, or simply put, a way to retrieve data from your database into standard .NET objects. Quite often we spend hours designing the database, only to go back and re-design a mechanism to access that data and then optimize that mechanism. This book will save you time on your project, providing...

Django is a high-level Python web framework that was developed by a fast-moving online-news operation to meet the stringent twin challenges of newsroom deadlines and the needs of web developers. It provides an excellent basis to build e-commerce websites because it can be deployed fast and it responds quickly to changes due to its ability to...

Virtualization and Forensics offers an in-depth view into the world of virtualized...

The complete guide to building Eberron(R) characters.

The Eberron Player's Guide presents the film noir world of Eberron from the point of view of the adventurer exploring it. This product includes everything a player needs to create their character for a D&D(R) campaign in...