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