This book gives a comprehensive account of Maude, a language and system based on rewriting logic. Many examples are used ...
Continue readingThis presentation provides an account of the intellectual lineage behind many of the basic concepts, results, and theories ...
Continue readingthe authors address the future role of atmospheric CO2 and its likely effects on ecosystems. This book incorporates the advances ...
Continue readingIt includes many new recent insights and illustrations, a new appendix on Chinese primary sources and a guide to the to the ...
Continue readingIt includes many new recent insights and illustrations, a new appendix on Chinese primary sources and a guide to the to the ...
Continue readingThis book is open access under a CC BY license and explores the under-researched history of male mental illness from the ...
Continue readingThis is a history of parametric statistical inference, written by one of the most important historians of statistics of the ...
Continue readingThe book describes the major physical theories of comets in the past two millennia. It demonstrates the evolution of ideas ...
Continue readingProvides an index of ideas, theories, projects, and definitions that string into a methodology for evaluating the contemporary ...
Continue readingThis book presents the findings of a study into the social shaping of reproductive genetics in Germany and Israel, two exceptionally ...
Continue readingThe papers in this collection are united by an approach to philosophy. They illustrate the manifold contributions that logic ...
Continue readingThe first part of this book gives a detailed, self-contained and mathematically rigorous exposition of classical conformal ...
Continue readingThe book consists of two parts: the first discusses the fundamentals of matrix algebra in detail, while the second focuses ...
Continue readingPart of the new series, Advanced Topics in Science and Technology in China, this book discusses concepts, theory, and core ...
Continue readingIn this new edition, the fundamental material on classical linear aeroelasticity has been revised. Also new material has ...
Continue readingA Modern Introduction to Probability and Statistics has numerous quick exercises to give direct feedback to the students. ...
Continue readingThe first part of the book is historical, yet at the same time, places historical systems (like Russell's RTT) in the modern ...
Continue readingFactorial design plays a fundamental role in efficient and economic experimentation with multiple input variables and is ...
Continue readingFactorial design plays a fundamental role in efficient and economic experimentation with multiple input variables and is ...
Continue readingThis volume, with forewords by Greg Bollella and Dana Scott, presents novel programs based on the new advances in this area, ...
Continue reading