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 ...
Lire la suite
A History of Abstract Algebra
This presentation provides an account of the intellectual lineage behind many of the basic concepts, results, and theories ...
Lire la suite
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 ...
Lire la suite
A History of Chinese Mathematics
It includes many new recent insights and illustrations, a new appendix on Chinese primary sources and a guide to the to the ...
Lire la suite
A History of Chinese Mathematics
It includes many new recent insights and illustrations, a new appendix on Chinese primary sources and a guide to the to the ...
Lire la suiteA 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 ...
Lire la suite
A History of Parametric Statistical Inference from Bernoulli to Fischer, 1713-1935
This is a history of parametric statistical inference, written by one of the most important historians of statistics of the ...
Lire la suite
A History of Physical Theories of Comets, From Aristotle to Whipple
The book describes the major physical theories of comets in the past two millennia. It demonstrates the evolution of ideas ...
Lire la suite
A Language of Contemporary Architecture : An Index of Topology and Typology / Rafael Luna, Dongwoo Yim
Provides an index of ideas, theories, projects, and definitions that string into a methodology for evaluating the contemporary ...
Lire la suite
A Life (Un)Worthy of Living
This book presents the findings of a study into the social shaping of reproductive genetics in Germany and Israel, two exceptionally ...
Lire la suite
A Logical Approach to Philosophy
The papers in this collection are united by an approach to philosophy. They illustrate the manifold contributions that logic ...
Lire la suite
A Mathematical Introduction to Conformal Field Theory
The first part of this book gives a detailed, self-contained and mathematically rigorous exposition of classical conformal ...
Lire la suite
A Matrix Algebra Approach to Artificial Intelligence
The book consists of two parts: the first discusses the fundamentals of matrix algebra in detail, while the second focuses ...
Lire la suite
A Modern Approach to Intelligent Animation : Theory and Practice
Part of the new series, Advanced Topics in Science and Technology in China, this book discusses concepts, theory, and core ...
Lire la suite
A Modern Course in Aeroelasticity
In this new edition, the fundamental material on classical linear aeroelasticity has been revised. Also new material has ...
Lire la suite
A Modern Introduction to Probability and Statistics
A Modern Introduction to Probability and Statistics has numerous quick exercises to give direct feedback to the students. ...
Lire la suite
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 ...
Lire la suite
A Modern Theory of Factorial Design
Factorial design plays a fundamental role in efficient and economic experimentation with multiple input variables and is ...
Lire la suite
A Modern Theory of Factorial Design
Factorial design plays a fundamental role in efficient and economic experimentation with multiple input variables and is ...
Lire la suite
A Modular Calculus for the Average Cost of Data Structuring
This volume, with forewords by Greg Bollella and Dana Scott, presents novel programs based on the new advances in this area, ...
Lire la suite
