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 ...
اقرأ المزيد
Modeling Chemical Systems using Cellular Automata
The book will be of great value in undergraduate courses in chemistry, physics, biology, applied mathematics, and bioinformatics, ...
اقرأ المزيدModeling and Control of Discrete-event Dynamic Systems
Discrete-event dynamic systems (DEDs) permeate our world, being of great importance in modern manufacturing processes, transportation ...
اقرأ المزيد
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 ...
اقرأ المزيدModelling and Analysis of Hybrid Supervisory Systems
Modelling and Analysis of Hybrid Supervisory Systems introduces a modelling formalism that merges Petri nets, differential ...
اقرأ المزيد
Modelling and Reasoning with Vague Concepts
This volume outlines a formal representation framework for modelling and reasoning with vague concepts in Artificial Intelligence. ...
اقرأ المزيد
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. ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
Multi-Arm Cooperating Robots
This book will be useful to a wide audience of engineers, ranging from undergraduate and graduate students, new and advanced ...
اقرأ المزيد
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 ...
اقرأ المزيدMulti-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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
Networked Control Systems : Theory and Applications
Networked Control Systems presents the most recent results in stability and robustness analysis as well as new developments ...
اقرأ المزيد
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. ...
اقرأ المزيد
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 ...
اقرأ المزيد
New Horizons of Parallel and Distributed Computing
Parallel and distributed computing is one of the foremost technologies for shaping future research and development activities ...
اقرأ المزيد
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 ...
اقرأ المزيد
