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 mas
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 ...
Lee mas
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 ...
Lee masA History of Interior Design ; 4th Ed / John Pile, Judith Gura
Exploring a broad range of design styles and movements, this revised and expanded edition includes coverage of non-Western ...
Lee masA History of Interior Design ; 5th Ed / John Pile, Judith Gura, Drew Plunkett
Interior design describes the process by which an interior space is made into an effective setting for whatever range of ...
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 mas
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 ...
Lee mas
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 ...
Lee masA History of Radionuclide Studies in the UK : 50th Anniversary of the British Nuclear Medicine Society
The British Nuclear Medicine Society celebrates its 50th Anniversary with this booklet, which reflects the research of many ...
Lee masA History of Thermodynamics
The development of thermodynamics in the second half of the 19th century has had a strong impact on both technology and natural ...
Lee mas
A Journey of Embedded and Cyber-Physical Systems Essays Dedicated to Peter Marwedel on the Occasion of His 70th Birthday
This book celebrates Professor Peter Marwedel's outstanding achievements in compilers, embedded systems, and cyber-physical ...
Lee mas
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 ...
Lee mas
A Legacy for Living Systems
This book represents a major attempt to revise this deficiency. Scholars from ecology, biochemistry, evolutionary biology, ...
Lee mas
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 ...
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 Life Cycle for Clusters?
The phenomenon of non-random spatial concentrations of firms in one or few related sectors (clusters) is intensively debated ...
Lee mas
A Linear Systems Primer
Based on a streamlined presentation of the authors' successful work Linear Systems, this textbook provides an introduction ...
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
