This book gives a comprehensive account of Maude, a language and system based on rewriting logic. Many examples are used ...
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 readingExploring a broad range of design styles and movements, this revised and expanded edition includes coverage of non-Western ...
Continue readingInterior design describes the process by which an interior space is made into an effective setting for whatever range of ...
Continue readingThe development of thermodynamics in the second half of the 19th century has had a strong impact on both technology and natural ...
Continue readingThis book celebrates Professor Peter Marwedel's outstanding achievements in compilers, embedded systems, and cyber-physical ...
Continue readingProvides an index of ideas, theories, projects, and definitions that string into a methodology for evaluating the contemporary ...
Continue readingThis book represents a major attempt to revise this deficiency. Scholars from ecology, biochemistry, evolutionary biology, ...
Continue readingThe phenomenon of non-random spatial concentrations of firms in one or few related sectors (clusters) is intensively debated ...
Continue readingBased on a streamlined presentation of the authors' successful work Linear Systems, this textbook provides an introduction ...
Continue readingThe papers in this collection are united by an approach to philosophy. They illustrate the manifold contributions that logic ...
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 readingThe first part of the book is historical, yet at the same time, places historical systems (like Russell's RTT) in the modern ...
Continue readingThe reviews presented in this volume cover a wide-range of cluster of galaxies topics like the physics of the ICM gas, the ...
Continue readingIn this volume, 253 archetypal patterns consisting of problem statements, discussions, illustrations, and solutions provide ...
Continue readingThe book proposes a new methodology for realizing platform-centric design of complex systems, and presents a detailed plan ...
Continue reading