Barrie Jones addresses the question "are we alone?", which is one of the most frequently asked questions by scientists and non-scientists alike. In The Search for Life Continued, this question is addressed scientifically, and the author is not afraid to include speculation. Indeed, the author believes beyond reasonable...

This book presents the theoretical foundation of a higher-order logic programming language with equality, based on the clausal theory of types. A long-sought goal of logic programming, the clausal theory of types is a logic programming language that allows functional computation as a primitive operation while having rigorous, sound, and...

Visual QuickStart Guides, designed in an attractive tutorial and reference format, are the quickest, easiest, and most thorough way to learn applications, tasks, and technologies. The Visual QuickStart Guides are a smart choice and guide the learner in a friendly and respectful tone. Visually presented with copious screenshots, the focused...

This book is an introduction to the use of geometric partial differential equations (PDEs) in image processing and computer vision. This relatively new research area brings a number of new concepts into the field, providing, among other things, a very fundamental and formal approach to image processing. State-of-the-art practical results in...

LINQ is the part of the .NET Framework that provides a generic approach to querying data from different data sources. It has quickly become the next must-have skill for .NET developers. Pro LINQ: Language Integrated Query in C# 2010 is all about code. Literally, this book starts with code and ends with code. Most books show the simplest...

Dental Computing and Applications: Advanced Techniques for Clinical Dentistry presents the latest technological applications and advanced...

Books on bioinformatics which began appearing in the mid 80s primarily served gene-hunters, and biologists who wished to construct family trees showing tidy lines of descent. Given the great pharmaceutical industry interest in genes, this trend has continued in most subsequent texts. These deal extensively with the exciting topic of gene...

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

With iPad...

This book is full of practical examples that will help you to take advantage of...

Economic analysis of law is an interesting and challenging attempt to employ the concepts and reasoning methods of modern economic theory so as to gain a deeper understanding of legal problems. According to Richard A. Posner it is the role of the law to encourage market competition and, where the market fails because transaction costs are too...

Focuses on computer languages as tools for data management
Providing key information on how to work with research data, Introduction to Data Technologies presents ideas and techniques for performing critical, behind-the-scenes tasks that take up so...