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 ...
اقرأ المزيد
