Electronic Books

Total Books: 821 - 840 /3570

Constructing Correct Software

Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. ...

Construction Management / Daniel W. Halpin, Bolivar A. Senior, Gunnar Lucko

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

Construction Manager's BIM Handbook / John Eynon

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

Construction Materials : Their Nature and Behaviour / Marios Soutsos, Peter Domone

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

Construction Project Scheduling and Control / Saleh A. Mubarak

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

Construction Risk Management Decision Making: Understanding Current Practices / Alex C. Arthur

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

Construction and Building Automation : From Concepts to Implementation / Benny Raphael

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

Construction, Maintenance, Restoration and Rehabilitation of Highway Bridges / K. S. Rakshit

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

Consumer Happiness: Multiple Perspectives

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

Contaminated land - investigation, assessment and remediation

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

Contemporary Empirical Methods in Software Engineering

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

Content Delivery Networks

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

Continental Scientific Drilling

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

Continuous-Time Sigma-Delta A

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

Continuous-Time Signals

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

Continuous-Time Systems

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

Continuum Mechanics

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

Contracting and Safety : Exploring Outsourcing Practices in High-Hazard Industries

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

Contributions to Simulation Speed-Up : Rare Event Simulation and Short-Term Dynamic Simulation for Mobile Network Planning

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

Contributions to Ubiquitous Computing

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