Electronic Books

Total Books: 1441 - 1460 /6426

This internationally prizewinning volume now appears in its second, revised and expanded edition. Since the first edition ...

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

Covers a wide range of subjects, reflecting the breadth of knowledge needed to understand the dynamics of this large and ...

Provides an understanding of materials’ behaviour through knowledge of their chemical and physical structure. It covers ...

Covers both traditional and contemporary materials, current industry standards and new and emerging technologies. The only ...

Introduces students to entirely new definitions and theories of the Critical Path Method (CPM), the leading scheduling method, ...

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

Explores the most up-to-date green and sustainable methods for residential and commercial building construction as well as ...

In this volume, the basin of attraction of an equilibrium of an ordinary differential equation can be determined using a ...

Based on the method of canonical transformation of variables and the classical perturbation theory, this innovative book ...

This book presents the author’s recent investigations of the two main concepts of negation developed in the constructive ...

This comprehensive volume the inclusion of several case studies serves to examine pertinent topics, namely computer-based ...

Covers various aspects of the modern-day management of contact dermatitis. This title also covers irritant and allergic contact ...

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

Total Books: 1441 - 1460 /6426