Electronic Books

Total Books: 621 - 640 /2026

Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. ...

Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. ...

Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. ...

Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. ...

Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. ...

Container transportation is the predominant mode of inter-continental cargo traffic. Since container ships and port terminals ...

The purpose of this project is to design a platform that concentrates on Fashion in addition to assisting users with gathering ...

Continuous System Simulation describes systematically and methodically how mathematical models of dynamic systems, usually ...

The book addresses advanced engineering students, developers and researchers that have a specific interest in control reconfiguration. ...

This book will be of great interest to academics and institutional researchers in control system design and to those studying ...

After motivating examples, this monograph gives substantial new results on the analysis and control of linear repetitive ...

This book is devoted to new methods of control for complex dynamical systems and deals with nonlinear control systems having ...

This monograph presents a novel concept of a mobile robot, which is a single-wheel, gyroscopically stabilized robot. The ...

Control of Traffic Systems in Buildings presents the state of the art in the analysis and control of transportation systems ...

Cooperation in Wireless Networks: Principles and Applications covers the underlying principles of cooperative techniques ...

Efforts to understand and predict the behavior of software date back to the earliest days of computer programming,over half ...

Efforts to understand and predict the behavior of software date back to the earliest days of computer programming,over half ...

This carefully edited book presents how natural groupings such as fish schools, bird flocks, deer herds etc. coordinate themselves ...

This book constitutes the refereed proceedings of the Third International Conference on Cooperative Design, Visualization, ...

This book provides an insight in the basic understanding of cooperative systems as well as in theory, modeling, and applications ...

Total Books: 621 - 640 /2026