Electronic Books

Total Books: 821 - 840 /3570

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

Ensures the reader understands what BIM is, what the UK strategy is and what it means for key roles in the construction team. ...

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

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

Effective risk management is a vital component of all successful construction projects. Although quantitative tools for evaluating ...

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

Written for the benefit of bridge engineers associated with the construction, maintenance, restoration and rehabilitation ...

Helps quench the quest of knowledge of academicians, researchers, and others interested in developing a complete and critical ...

The first edition of this ICE design and practice guide became one of the most popular ICE publications after it was published ...

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

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

Scientific drilling is an indispensable tool of modern Earth science - search, as it provides the only means of obtaining ...

This comprehensive book deals with all relevant aspects arising during the analysis, design and simulation of the now widespread ...

The book systematically covers major principle foundations of the signals theory. The representation of signals in the frequency ...

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

This book presents an introduction into the entire science of Continuum Mechanics in three parts. PART I: Continuum Mechanics ...

This book examines the increase in outsourcing, contracting and subcontracting as ways of organising work. It explores the ...

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

Total Books: 821 - 840 /3570