Electronic Books

Total Books: 501 - 520 /2039

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

This book presents a cross-disciplinary insight and policy analysis into the effects of European legal and political frameworks ...

Significant gains in productivity can be achieved through advanced terminal layouts, more efficient IT-support and improved ...

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

The search for the best possible performance is inherent in human nature. Individuals, enterprises and governments all seek ...

This open access brief introduces the basic principles of control theory in a concise self-study guide. It complements the ...

This volume presents a well balanced combination of state-of-the-art theoretical results in the field of nonlinear controller ...

This Festschrift contains a collection of articles by friends, co-authors, colleagues, and former Ph.D. students of Keith ...

This book is intended as an introduction to optimal stochastic control for continuous time Markov processes and to the theory ...

This book is intended as an introduction to optimal stochastic control for continuous time Markov processes and to the theory ...

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

In today’s world of ubiquitously connected heterogeneous information systems and computing devices, the intelligent coordination ...

In today’s world of ubiquitously connected heterogeneous information systems and computing devices, the intelligent coordination ...

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

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

Total Books: 501 - 520 /2039