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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee masA 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 ...
Lee masA 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, ...
Lee mas
A Logical Approach to Philosophy
The papers in this collection are united by an approach to philosophy. They illustrate the manifold contributions that logic ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
A Practical Introduction to PSL
Practical Introduction to PSL is primarily targeted to hardware designers and verification engineers who plan to use PSL. ...
Lee mas
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, ...
Lee mas
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 ...
Lee mas
A Singular Introduction to Commutative Algebra
This substantially enlarged second edition aims to lead a further stage in the computational revolution in commutative algebra. ...
Lee masA 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. ...
Lee mas
A Theory of Marketing
Marketing has become one of the most influential forces in contemporary market economies. Yet despite ubiquitous empirical ...
Lee mas
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 ...
Lee mas
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, ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
