This book gives a comprehensive account of Maude, a language and system based on rewriting logic. Many examples are used ...
Lire la suiteThis presentation provides an account of the intellectual lineage behind many of the basic concepts, results, and theories ...
Lire la suitethe authors address the future role of atmospheric CO2 and its likely effects on ecosystems. This book incorporates the advances ...
Lire la suiteIt includes many new recent insights and illustrations, a new appendix on Chinese primary sources and a guide to the to the ...
Lire la suiteIt includes many new recent insights and illustrations, a new appendix on Chinese primary sources and a guide to the to the ...
Lire la suiteThis book is open access under a CC BY license and explores the under-researched history of male mental illness from the ...
Lire la suiteThis is a history of parametric statistical inference, written by one of the most important historians of statistics of the ...
Lire la suiteThe book describes the major physical theories of comets in the past two millennia. It demonstrates the evolution of ideas ...
Lire la suiteThe British Nuclear Medicine Society celebrates its 50th Anniversary with this booklet, which reflects the research of many ...
Lire la suiteThe development of thermodynamics in the second half of the 19th century has had a strong impact on both technology and natural ...
Lire la suiteThis book celebrates Professor Peter Marwedel's outstanding achievements in compilers, embedded systems, and cyber-physical ...
Lire la suiteThis book represents a major attempt to revise this deficiency. Scholars from ecology, biochemistry, evolutionary biology, ...
Lire la suiteThis book presents the findings of a study into the social shaping of reproductive genetics in Germany and Israel, two exceptionally ...
Lire la suiteThis book examines health trajectories and health transitions at different stages of the life course, including childhood, ...
Lire la suiteThe phenomenon of non-random spatial concentrations of firms in one or few related sectors (clusters) is intensively debated ...
Lire la suiteBased on a streamlined presentation of the authors' successful work Linear Systems, this textbook provides an introduction ...
Lire la suiteThe papers in this collection are united by an approach to philosophy. They illustrate the manifold contributions that logic ...
Lire la suiteThe first part of this book gives a detailed, self-contained and mathematically rigorous exposition of classical conformal ...
Lire la suiteThe book consists of two parts: the first discusses the fundamentals of matrix algebra in detail, while the second focuses ...
Lire la suitePart of the new series, Advanced Topics in Science and Technology in China, this book discusses concepts, theory, and core ...
Lire la suite