Constructing Correct Software
Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. ...
Lire la suiteConstructing Correct Software
Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. ...
Lire la suiteConstructing Correct Software
Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. ...
Lire la suite
Constructing Correct Software
Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. ...
Lire la suite
Constructing Correct Software
Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. ...
Lire la suite
Container Terminals and Automated Transport Systems
Container transportation is the predominant mode of inter-continental cargo traffic. Since container ships and port terminals ...
Lire la suiteContent based social platform optimization “Fashion Platform” / Saleem Allosh ; Mohammad Hasan ; MHD Wael Alhalabi ; MHD Bader Alkattan
The purpose of this project is to design a platform that concentrates on Fashion in addition to assisting users with gathering ...
Lire la suite
Continuous System Simulation
Continuous System Simulation describes systematically and methodically how mathematical models of dynamic systems, usually ...
Lire la suite
Control Reconfiguration of Dynamical Systems
The book addresses advanced engineering students, developers and researchers that have a specific interest in control reconfiguration. ...
Lire la suite
Control Systems Design
This book will be of great interest to academics and institutional researchers in control system design and to those studying ...
Lire la suiteControl Systems Theory and Applications for Linear Repetitive Processes
After motivating examples, this monograph gives substantial new results on the analysis and control of linear repetitive ...
Lire la suite
Control of Nonlinear Dynamical Systems : Methods and Applications
This book is devoted to new methods of control for complex dynamical systems and deals with nonlinear control systems having ...
Lire la suite
Control of Single Wheel Robots
This monograph presents a novel concept of a mobile robot, which is a single-wheel, gyroscopically stabilized robot. The ...
Lire la suite
Control of Traffic Systems in Buildings
Control of Traffic Systems in Buildings presents the state of the art in the analysis and control of transportation systems ...
Lire la suite
Cooperation in Wireless Networks: Principles and Applications
Cooperation in Wireless Networks: Principles and Applications covers the underlying principles of cooperative techniques ...
Lire la suite
Cooperative Bug Isolation
Efforts to understand and predict the behavior of software date back to the earliest days of computer programming,over half ...
Lire la suite
Cooperative Bug Isolation
Efforts to understand and predict the behavior of software date back to the earliest days of computer programming,over half ...
Lire la suite
Cooperative Control
This carefully edited book presents how natural groupings such as fish schools, bird flocks, deer herds etc. coordinate themselves ...
Lire la suiteCooperative Design, Visualization, and Engineering (vol. # 4101)
This book constitutes the refereed proceedings of the Third International Conference on Cooperative Design, Visualization, ...
Lire la suite
Cooperative Systems : Control and Optimization
This book provides an insight in the basic understanding of cooperative systems as well as in theory, modeling, and applications ...
Lire la suite
