This book gives a comprehensive account of Maude, a language and system based on rewriting logic. Many examples are used ...
Lee masThis book gives a comprehensive account of Maude, a language and system based on rewriting logic. Many examples are used ...
Lee masthe authors address the future role of atmospheric CO2 and its likely effects on ecosystems. This book incorporates the advances ...
Lee masThe development of thermodynamics in the second half of the 19th century has had a strong impact on both technology and natural ...
Lee masThis book celebrates Professor Peter Marwedel's outstanding achievements in compilers, embedded systems, and cyber-physical ...
Lee masThis book represents a major attempt to revise this deficiency. Scholars from ecology, biochemistry, evolutionary biology, ...
Lee masThe phenomenon of non-random spatial concentrations of firms in one or few related sectors (clusters) is intensively debated ...
Lee masBased on a streamlined presentation of the authors' successful work Linear Systems, this textbook provides an introduction ...
Lee masThe papers in this collection are united by an approach to philosophy. They illustrate the manifold contributions that logic ...
Lee masThe book consists of two parts: the first discusses the fundamentals of matrix algebra in detail, while the second focuses ...
Lee masPart of the new series, Advanced Topics in Science and Technology in China, this book discusses concepts, theory, and core ...
Lee masThe first part of the book is historical, yet at the same time, places historical systems (like Russell's RTT) in the modern ...
Lee masThe book proposes a new methodology for realizing platform-centric design of complex systems, and presents a detailed plan ...
Lee masSystemVerilog language consists of three very specific areas of constructs - design, assertions and testbench. This guide ...
Lee masA Practical Guide to TPM 2.0: Using the Trusted Platform Module in the New Age of Security is a straight-forward primer for ...
Lee masA man may imagine he understands something, but still not understand anything in the way that he ought to. (Paul of Tarsus, ...
Lee masThis book provides a fresh approach to the study of energy expenditure by introducing the latest concepts in open system ...
Lee masThis book is designed to provide both novice and experienced users of PBL with resources for designing and implementing problem-based ...
Lee masBased on material assembled by Dr Jaap HR Schoen who was one of the few neuroanatomists to apply the Nauta method to human ...
Lee maspresents a systemic analysis of Spinoza’s philosophy and challenges the traditional views. It deals with Spinoza’s concepts ...
Lee mas