Electronic Books

Total Books: 21 - 40 /3500

A High-Performance Logical Framework -- All About Maude

This book gives a comprehensive account of Maude, a language and system based on rewriting logic. Many examples are used ...

A High-Performance Logical Framework -- All About Maude

This book gives a comprehensive account of Maude, a language and system based on rewriting logic. Many examples are used ...

A History of Atmospheric CO2 and Its Effects on Plants, Animals, and Ecosystems

the authors address the future role of atmospheric CO2 and its likely effects on ecosystems. This book incorporates the advances ...

A History of Male Psychological Disorders in Britain, 1945–1980

This book is open access under a CC BY license and explores the under-researched history of male mental illness from the ...

A Life Course Perspective on Health Trajectories and Transitions

This book examines health trajectories and health transitions at different stages of the life course, including childhood, ...

A Logical Approach to Philosophy

The papers in this collection are united by an approach to philosophy. They illustrate the manifold contributions that logic ...

A Modern Perspective on Type Theory

The first part of the book is historical, yet at the same time, places historical systems (like Russell's RTT) in the modern ...

A Pan-Chromatic View of Clusters of Galaxies and the Large-Scale Structure

The reviews presented in this volume cover a wide-range of cluster of galaxies topics like the physics of the ICM gas, the ...

A Practical Introduction to PSL

Practical Introduction to PSL is primarily targeted to hardware designers and verification engineers who plan to use PSL. ...

A Practical Theory of Reactive Systems

A man may imagine he understands something, but still not understand anything in the way that he ought to. (Paul of Tarsus, ...

A Sea Change: The Exclusive Economic Zone and Governance Institutions for Living Marine Resources

A Sea Change in a Changing Sea The oceans, seas and coastal areas encompass over 70% of the earth’s surface. They are a ...

A Singular Introduction to Commutative Algebra

This substantially enlarged second edition aims to lead a further stage in the computational revolution in commutative algebra. ...

A Study about Prevalence of Thalassemia Complications in Syrian Patients / Lubana Hamdan ; Grace Jaradeh

Inherited haemoglobin disorders, including thalassemia and sickle-cell disease, are the most common monogenic diseases worldwide. ...

A Theory of Marketing

Marketing has become one of the most influential forces in contemporary market economies. Yet despite ubiquitous empirical ...

A Time for Metabolism and Hormones

Recent years have seen spectacular advances in the field of circadian biology. These have attracted the interest of researchers ...

AI 2008: Advances in Artificial Intelligence : 21st Australasian Joint Conference on Artificial Intelligence Auckland, New Zealand, December 1-5, 2008. Proceedings

This book constitutes the refereed proceedings of the 21th Australasian Joint Conference on Artificial Intelligence, AI 2008, ...

AI For Emerging Verticals : Human-robot computing, sensing and networking

Artificial intelligence (AI) and machine learning (ML) will play a major role. By adopting AI software and services, businesses ...

AI Strategy for Sales and Marketing : Connecting Marketing, Sales and Customer Experience / Katie King

Presents a practical framework for strategically leveraging AI to boost sales, marketing and customer-centricity Showcases ...

AI and the Future of Banking / Tony Boobier

Across its entire breadth and depth, the banking industry is at the forefront of investigating Advanced Analytics and AI ...

AI*IA 2005: Advances in Artificial Intelligence

This volume collects the papers selected for presentation at the IX Congress of the Italian Association for Arti?cial Intelligence ...

Total Books: 21 - 40 /3500