A Distributed Coordination Approach to Reconfigurable Process Control
A Distributed Coordination Approach to Reconfigurable Process Control presents research that addresses this critical question, ...
Weiterlesen
A Dressing Method in Mathematical Physics
The monograph is devoted to the systematic presentation of the so called "dressing method" for solving differential equations ...
Weiterlesen
A First Course in Differential Equations with Modeling Applications / Dennis G. Zill
A comprehensive treatment of ordinary differential equations, concisely presenting basic and essential results in a rigorous ...
Weiterlesen
A Geometry of Approximation : Rough Set Theory: Logic, Algebra and Topology of Conceptual Patterns
A Geometry of Approximation' addresses Rough Set Theory, a field of interdisciplinary research first proposed by Zdzislaw ...
Weiterlesen
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 ...
Weiterlesen
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 ...
Weiterlesen
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 ...
WeiterlesenA 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 ...
Weiterlesen
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 ...
Weiterlesen
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 ...
Weiterlesen
A Legacy for Living Systems
This book represents a major attempt to revise this deficiency. Scholars from ecology, biochemistry, evolutionary biology, ...
Weiterlesen
A Life Cycle for Clusters?
The phenomenon of non-random spatial concentrations of firms in one or few related sectors (clusters) is intensively debated ...
Weiterlesen
A Linear Systems Primer
Based on a streamlined presentation of the authors' successful work Linear Systems, this textbook provides an introduction ...
Weiterlesen
A Logical Approach to Philosophy
The papers in this collection are united by an approach to philosophy. They illustrate the manifold contributions that logic ...
Weiterlesen
A Matrix Algebra Approach to Artificial Intelligence
The book consists of two parts: the first discusses the fundamentals of matrix algebra in detail, while the second focuses ...
Weiterlesen
A Modern Approach to Intelligent Animation : Theory and Practice
Part of the new series, Advanced Topics in Science and Technology in China, this book discusses concepts, theory, and core ...
Weiterlesen
A Modern Perspective on Type Theory
The first part of the book is historical, yet at the same time, places historical systems (like Russell's RTT) in the modern ...
Weiterlesen
A Platform-Centric Approach to System-on-Chip (SOC) Design
The book proposes a new methodology for realizing platform-centric design of complex systems, and presents a detailed plan ...
Weiterlesen
A Practical Guide for SystemVerilog Assertions
SystemVerilog language consists of three very specific areas of constructs - design, assertions and testbench. This guide ...
WeiterlesenA Practical Guide to TPM 2.0 : Using the New Trusted Platform Module in the New Age of Security
A Practical Guide to TPM 2.0: Using the Trusted Platform Module in the New Age of Security is a straight-forward primer for ...
Weiterlesen
