Electronic Books

Total Books: 1001 - 1020 /4224

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

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

The Symposia have become important, unique - casions in the international calendar of business research. The papers c- lected ...

This volume offers a unique set of research exemplars for science, mathematics and technology educators. The volume explores ...

Content Delivery Networks enables the readers to understand the basics, to identify the underlying technology, to summarize ...

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

The book systematically covers major foundations of the systems theory. First, the quantitative and qualitative methods of ...

In 1994 the European Society of Urogenital Radiology (ESUR) set up a committee to consider the safety of the contrast media ...

This book provides a comprehensive account of the physical basis and the clinical applications of microbubble-based contrast ...

In August 2005, over 500 international researchers from the field of science education met at the 5th European Science Education ...

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

This book puts the larger vision of ubiquitous computing in the context of today’s mobile and distributed computing systems ...

The book is introduced through the very important topic of modeling switched power electronics as controlled dynamical systems. ...

Time delays exist in many engineering systems such as transportation, communication, process engineering and networked control ...

Recent evolutionary advances in information and communication technologies give rise to a new environment for Real Time Control ...

Control of Dead-time Processes introduces the fundamental techniques for controlling dead-time processes ranging from simple ...

Total Books: 1001 - 1020 /4224