Model-Based Testing of Reactive Systems
This book is based on a seminar held in Dagstuhl Castle, Germany, in January 2004. It presents 19 carefully reviewed and ...
Weiterlesen
Modeling Chemical Systems using Cellular Automata
The book will be of great value in undergraduate courses in chemistry, physics, biology, applied mathematics, and bioinformatics, ...
WeiterlesenModeling and Control of Discrete-event Dynamic Systems
Discrete-event dynamic systems (DEDs) permeate our world, being of great importance in modern manufacturing processes, transportation ...
Weiterlesen
Modeling and Simulation for RF System Design
The focus of Modeling and Simulation for RF System Design lies on RF specific modeling and simulation methods and the consideration ...
WeiterlesenModelling and Analysis of Hybrid Supervisory Systems
Modelling and Analysis of Hybrid Supervisory Systems introduces a modelling formalism that merges Petri nets, differential ...
Weiterlesen
Modelling and Reasoning with Vague Concepts
This volume outlines a formal representation framework for modelling and reasoning with vague concepts in Artificial Intelligence. ...
Weiterlesen
Modelling, State Observation and Diagnosis of Quantised Systems
The book concerns quantised systems which emerge from continuous-variable systems by quantising the values of all signals. ...
Weiterlesen
Modern Formal Methods and Applications
Formal methods are a robust approach for problem solving. It is based on logic and algebraic methods where problems can be ...
Weiterlesen
Modern Testing Techniques for Structural Systems : Dynamics and Control
The articles in this book describe new developments in the area of structural testing, particularly those based upon the ...
Weiterlesen
Moral Reasoning at Work
Moral Reasoning at Work offers a fresh perspective on how to live with them using ethics and moral psychology research. It ...
Weiterlesen
Multi-Arm Cooperating Robots
This book will be useful to a wide audience of engineers, ranging from undergraduate and graduate students, new and advanced ...
Weiterlesen
Multi-Robot Systems. From Swarms to Intelligent Automata, Volume III
Documents developments in multi-robot systems research. This volume is the result of the Third International workshop on ...
WeiterlesenMulti-point Interaction with Real and Virtual Objects
This edited book covers some of the most challenging problems on the forefront of today’s research on physical interaction ...
Weiterlesen
Multiscale Optimization Methods and Applications
One general strategy for dealing with a large or difficult problem is to partition it into smaller ones, which are hopefully ...
Weiterlesen
Multiscale Optimization Methods and Applications
One general strategy for dealing with a large or difficult problem is to partition it into smaller ones, which are hopefully ...
Weiterlesen
Networked Control Systems : Theory and Applications
Networked Control Systems presents the most recent results in stability and robustness analysis as well as new developments ...
Weiterlesen
Neural Networks and Deep Learning / Charu C. Aggarwal
Covers both classical and modern models in deep learning. The primary focus is on the theory and algorithms of deep learning. ...
Weiterlesen
New Developments in Formal Languages and Applications
The theory of formal languages is widely recognized as the backbone of theoretical computer science, originating from mathematics ...
Weiterlesen
New Horizons of Parallel and Distributed Computing
Parallel and distributed computing is one of the foremost technologies for shaping future research and development activities ...
Weiterlesen
New Trends and Technologies in Computer-Aided Learning for Computer-Aided Design
Computation and communication technologies underpin work and development in many different areas. Among them, Computer-Aided ...
Weiterlesen
