Constructing Correct Software
Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. ...
Lee masConstruction 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 ...
Lee masConstruction 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. ...
Lee mas
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 ...
Lee mas
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, ...
Lee mas
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 ...
Lee mas
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, ...
Lee mas
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 ...
Lee mas
Consumer Happiness: Multiple Perspectives
Helps quench the quest of knowledge of academicians, researchers, and others interested in developing a complete and critical ...
Lee masContaminated 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 ...
Lee mas
Contemporary Empirical Methods in Software Engineering
This book presents contemporary empirical methods in software engineering related to the plurality of research methodologies, ...
Lee mas
Content Delivery Networks
Content Delivery Networks enables the readers to understand the basics, to identify the underlying technology, to summarize ...
Lee mas
Continental Scientific Drilling
Scientific drilling is an indispensable tool of modern Earth science - search, as it provides the only means of obtaining ...
Lee mas
Continuous-Time Sigma-Delta A
This comprehensive book deals with all relevant aspects arising during the analysis, design and simulation of the now widespread ...
Lee mas
Continuous-Time Signals
The book systematically covers major principle foundations of the signals theory. The representation of signals in the frequency ...
Lee masContinuous-Time Systems
The book systematically covers major foundations of the systems theory. First, the quantitative and qualitative methods of ...
Lee mas
Continuum Mechanics
This book presents an introduction into the entire science of Continuum Mechanics in three parts. PART I: Continuum Mechanics ...
Lee masContracting 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 ...
Lee mas
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 ...
Lee masContributions to Ubiquitous Computing
This book puts the larger vision of ubiquitous computing in the context of today’s mobile and distributed computing systems ...
Lee mas
