Electronic Books

Total Books: 621 - 640 /2027

Constraint Handling Rules : Current Research Topics

The Constraint Handling Rules (CHR) language is a declarative concurrent committed-choice constraint logic programming language ...

Constructing Correct Software

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

Constructing Correct Software

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

Constructing Correct Software

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

Constructing Correct Software

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

Constructing Correct Software

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

Container Terminals and Automated Transport Systems

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

Content 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 ...

Continuous System Simulation

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

Control Reconfiguration of Dynamical Systems

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

Control Systems Design

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

Control 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 ...

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 ...

Control of Single Wheel Robots

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

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

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

Cooperative Bug Isolation

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

Cooperative Bug Isolation

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

Cooperative Control

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

Cooperative Design, Visualization, and Engineering (vol. # 4101)

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

Total Books: 621 - 640 /2027