Electronic Books

Total Books: 1381 - 1400 /4790

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

History based access control and secure information flow The spec# programming system Mastering test generation from smart ...

This book constitutes the refereed post-proceedings of the Second International Workshop on Construction and Analysis of ...

This book collects together the most recent studies of music consumption, and new developments in music technology. It combines ...

The aim of this text is to treat selected topics of the subject of contemporary cryptology, structured in five quite independent ...

This book presents contemporary empirical methods in software engineering related to the plurality of research methodologies, ...

With an advent of technology, huge collection of digital images is formed as repositories on crime prevention, medical diagnosis, ...

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

This book presents an overview and step-by-step explanation of process management. It starts with the individual participants’ ...

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

Eugen Lamers explains the principle of simulation speed-up in general, demonstrates the technique RESTART for the simulation ...

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 book constitutes the proceedings of the 17th International Conference on Cooperative Design, Visualization, and Engineering, ...

The cooperative design, visualization and engineering community sensed the economic pulse of a new giant economy where cooperation ...

The cooperative design, visualization and engineering community sensed the economic pulse of a new giant economy where cooperation ...

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

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

Total Books: 1381 - 1400 /4790