The Classical Period: Nineteenth Century Sociology Auguste Comte (1798-1857) on Women in Positivist Society Harriett Martineau ...
Lire la suite
We have come to know that our ability to survive and grow as a nation to a very large degree depends upon our sci- tific ...
Lire la suite
he name “SPIN” refers both to a workshopon model checking and to a famous model checking tool. The SPIN workshop is an ...
Lire la suite
Constitutes the proceedings of the 8th International Conference on Model Driven Engineering Languages and Systems, MoDELS ...
Lire la suite
This book is based on a seminar held in Dagstuhl Castle, Germany, in January 2004. It presents 19 carefully reviewed and ...
Lire la suite
The book will be of great value in undergraduate courses in chemistry, physics, biology, applied mathematics, and bioinformatics, ...
Lire la suiteDiscrete-event dynamic systems (DEDs) permeate our world, being of great importance in modern manufacturing processes, transportation ...
Lire la suite
The focus of Modeling and Simulation for RF System Design lies on RF specific modeling and simulation methods and the consideration ...
Lire la suiteModelling and Analysis of Hybrid Supervisory Systems introduces a modelling formalism that merges Petri nets, differential ...
Lire la suite
This volume outlines a formal representation framework for modelling and reasoning with vague concepts in Artificial Intelligence. ...
Lire la suite
The book concerns quantised systems which emerge from continuous-variable systems by quantising the values of all signals. ...
Lire la suite
A detailed description of up-to-date methods used for computer processing and interpretation of medical images is given. ...
Lire la suite
Learn how to harness modern deep-learning methods in many contexts. Packed with intuitive theory, practical implementation ...
Lire la suite
Formal methods are a robust approach for problem solving. It is based on logic and algebraic methods where problems can be ...
Lire la suite
Learn how to build front-end applications that can help you ship applications faster with fewer defects. Many software projects ...
Lire la suite
The articles in this book describe new developments in the area of structural testing, particularly those based upon the ...
Lire la suite
Moral Reasoning at Work offers a fresh perspective on how to live with them using ethics and moral psychology research. It ...
Lire la suite
This book will be useful to a wide audience of engineers, ranging from undergraduate and graduate students, new and advanced ...
Lire la suite
Documents developments in multi-robot systems research. This volume is the result of the Third International workshop on ...
Lire la suiteThis edited book covers some of the most challenging problems on the forefront of today’s research on physical interaction ...
Lire la suite