This book gives a comprehensive account of Maude, a language and system based on rewriting logic. Many examples are used ...
WeiterlesenThis book gives a comprehensive account of Maude, a language and system based on rewriting logic. Many examples are used ...
Weiterlesenthe authors address the future role of atmospheric CO2 and its likely effects on ecosystems. This book incorporates the advances ...
WeiterlesenIt includes many new recent insights and illustrations, a new appendix on Chinese primary sources and a guide to the to the ...
WeiterlesenIt includes many new recent insights and illustrations, a new appendix on Chinese primary sources and a guide to the to the ...
WeiterlesenExploring a broad range of design styles and movements, this revised and expanded edition includes coverage of non-Western ...
WeiterlesenInterior design describes the process by which an interior space is made into an effective setting for whatever range of ...
WeiterlesenThis book is open access under a CC BY license and explores the under-researched history of male mental illness from the ...
WeiterlesenThis is a history of parametric statistical inference, written by one of the most important historians of statistics of the ...
WeiterlesenThe book describes the major physical theories of comets in the past two millennia. It demonstrates the evolution of ideas ...
WeiterlesenThe British Nuclear Medicine Society celebrates its 50th Anniversary with this booklet, which reflects the research of many ...
WeiterlesenThe development of thermodynamics in the second half of the 19th century has had a strong impact on both technology and natural ...
WeiterlesenThis book celebrates Professor Peter Marwedel's outstanding achievements in compilers, embedded systems, and cyber-physical ...
WeiterlesenProvides an index of ideas, theories, projects, and definitions that string into a methodology for evaluating the contemporary ...
WeiterlesenThis book represents a major attempt to revise this deficiency. Scholars from ecology, biochemistry, evolutionary biology, ...
WeiterlesenThis book presents the findings of a study into the social shaping of reproductive genetics in Germany and Israel, two exceptionally ...
WeiterlesenThis book examines health trajectories and health transitions at different stages of the life course, including childhood, ...
WeiterlesenThe phenomenon of non-random spatial concentrations of firms in one or few related sectors (clusters) is intensively debated ...
WeiterlesenBased on a streamlined presentation of the authors' successful work Linear Systems, this textbook provides an introduction ...
WeiterlesenThe papers in this collection are united by an approach to philosophy. They illustrate the manifold contributions that logic ...
Weiterlesen