Electronic Books

Total Books: 261 - 280 /1190

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

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

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

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

This book covers the major theoretical orientations that have been influential in American sociology since the mid-twentieth ...

Traditional principles and techniques are reviewed and reinforced, along with modern materials and methods, all with a firm ...

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

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

Recent results in local convergence and semi-local convergence analysis constitute a natural framework for the theoretical ...

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 refereed proceedings of the 5th International Conference on Cooperative Design, Visualization, ...

This book constitutes the refereed post-proceedings of the International Workshop on Agents, Norms and Institutions for Regulated ...

Covering the core repertoire of cosmetic facial and dental procedures, including oral and maxillofacial surgery, cosmetic ...

Contingent valuation is one of the means of incorporating socio-environmental considerations in cost–benefit analysis. ...

This collection introduces, illustrates, and advances fresh ideas about creative practice inquiry in architecture. It concerns ...

Total Books: 261 - 280 /1190