On the occasion of the 50th anniversary of the European Union experts present their analyses of historical developments and ...
Lire la suite
Fiber-reinforced composites (FRCs) are a novel group of dental materials characterized by fibrous fillers that are being ...
Lire la suite
This book gives a comprehensive account of Maude, a language and system based on rewriting logic. Many examples are used ...
Lire la suite
This book gives a comprehensive account of Maude, a language and system based on rewriting logic. Many examples are used ...
Lire la suite
This book celebrates Professor Peter Marwedel's outstanding achievements in compilers, embedded systems, and cyber-physical ...
Lire la suite
The phenomenon of non-random spatial concentrations of firms in one or few related sectors (clusters) is intensively debated ...
Lire la suite
Based on a streamlined presentation of the authors' successful work Linear Systems, this textbook provides an introduction ...
Lire la suite
The book consists of two parts: the first discusses the fundamentals of matrix algebra in detail, while the second focuses ...
Lire la suite
The book proposes a new methodology for realizing platform-centric design of complex systems, and presents a detailed plan ...
Lire la suite
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 Trusted Platform Module in the New Age of Security is a straight-forward primer for ...
Lire la suite
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
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
The book gives a streamlined and systematic introduction to strongly continuous semigroups of bounded linear operators on ...
Lire la suite
Satellite navigation receivers are used to receive, process, and decode space-based navigation signals, such as those provided ...
Lire la suite
Distributed and communicating objects are becoming ubiquitous. In global, Grid and Peer-to-Peer computing environments, extensive ...
Lire la suite
This book constitutes the refereed proceedings of the 21th Australasian Joint Conference on Artificial Intelligence, AI 2008, ...
Lire la suite
This book mainly focuses on the safe control of robot manipulators. The control schemes are mainly developed based on dynamic ...
Lire la suite
Provides the state-of-the-art development on security and privacy for cyber-physical systems (CPS) and industrial Internet ...
Lire la suite
ANEMONA is a multi-agent system (MAS) methodology for holonic manufacturing system (HMS) analysis and design, based on HMS ...
Lire la suite