Electronic Books

Total Books: 701 - 720 /2372

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

Construction and Building Automation : From Concepts to Implementation / Benny Raphael

Intended to be used as a textbook in undergraduate civil engineering and construction courses to introduce cutting edge mechanical, ...

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

Continuous Time Processes for Finance : Switching, Self-exciting, Fractional and other Recent Dynamics / Donatien Hainaut

This book explores recent topics in quantitative finance with an emphasis on applications and calibration to time-series. ...

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

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

Coordination Models and Languages

he volume examines how to increase modularity, simplify reasoning, and ultimately enhance today's software development by ...

Total Books: 701 - 720 /2372