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 ...
Lire la suite
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 ...
Lire la suite
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 ...
Lire la suiteA 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 ...
Lire la suite
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 ...
Lire la suite
A Legacy for Living Systems
This book represents a major attempt to revise this deficiency. Scholars from ecology, biochemistry, evolutionary biology, ...
Lire la suite
A Life Cycle for Clusters?
The phenomenon of non-random spatial concentrations of firms in one or few related sectors (clusters) is intensively debated ...
Lire la suite
A Linear Systems Primer
Based on a streamlined presentation of the authors' successful work Linear Systems, this textbook provides an introduction ...
Lire la suite
A Logical Approach to Philosophy
The papers in this collection are united by an approach to philosophy. They illustrate the manifold contributions that logic ...
Lire la suite
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 ...
Lire la suite
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 ...
Lire la suite
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 ...
Lire la suite
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 ...
Lire la suite
A Practical Guide for SystemVerilog Assertions
SystemVerilog language consists of three very specific areas of constructs - design, assertions and testbench. This guide ...
Lire la suiteA 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 ...
Lire la suite
A Practical Theory of Reactive Systems
A man may imagine he understands something, but still not understand anything in the way that he ought to. (Paul of Tarsus, ...
Lire la suite
A Primer for the Exercise and Nutrition Sciences
This book provides a fresh approach to the study of energy expenditure by introducing the latest concepts in open system ...
Lire la suite
A Problem-based Approach for Management Education
This book is designed to provide both novice and experienced users of PBL with resources for designing and implementing problem-based ...
Lire la suite
A Reappraisal of the Ascending Systems in Man, with Emphasis on the Medial Lemniscus
Based on material assembled by Dr Jaap HR Schoen who was one of the few neuroanatomists to apply the Nauta method to human ...
Lire la suite
A Rose Armed with Thorns: Spinoza’s Philosophy Under a Novel Lens
presents a systemic analysis of Spinoza’s philosophy and challenges the traditional views. It deals with Spinoza’s concepts ...
Lire la suite
