Electronic Books

Total Books: 381 - 400 /541

This book is based on a seminar held in Dagstuhl Castle, Germany, in January 2004. It presents 19 carefully reviewed and ...

The book will be of great value in undergraduate courses in chemistry, physics, biology, applied mathematics, and bioinformatics, ...

Discrete-event dynamic systems (DEDs) permeate our world, being of great importance in modern manufacturing processes, transportation ...

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 introduces a modelling formalism that merges Petri nets, differential ...

This volume outlines a formal representation framework for modelling and reasoning with vague concepts in Artificial Intelligence. ...

The book concerns quantised systems which emerge from continuous-variable systems by quantising the values of all signals. ...

Formal methods are a robust approach for problem solving. It is based on logic and algebraic methods where problems can be ...

The articles in this book describe new developments in the area of structural testing, particularly those based upon the ...

Moral Reasoning at Work offers a fresh perspective on how to live with them using ethics and moral psychology research. It ...

This book will be useful to a wide audience of engineers, ranging from undergraduate and graduate students, new and advanced ...

Documents developments in multi-robot systems research. This volume is the result of the Third International workshop on ...

This edited book covers some of the most challenging problems on the forefront of today’s research on physical interaction ...

One general strategy for dealing with a large or difficult problem is to partition it into smaller ones, which are hopefully ...

One general strategy for dealing with a large or difficult problem is to partition it into smaller ones, which are hopefully ...

Networked Control Systems presents the most recent results in stability and robustness analysis as well as new developments ...

Covers both classical and modern models in deep learning. The primary focus is on the theory and algorithms of deep learning. ...

The theory of formal languages is widely recognized as the backbone of theoretical computer science, originating from mathematics ...

Parallel and distributed computing is one of the foremost technologies for shaping future research and development activities ...

Computation and communication technologies underpin work and development in many different areas. Among them, Computer-Aided ...

Total Books: 381 - 400 /541