Electronic Books

Total Books: 261 - 280 /1190

Constructing Correct Software

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

Constructing Correct Software

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

Constructing Correct Software

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

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices (vol. # 3362)

History based access control and secure information flow The spec# programming system Mastering test generation from smart ...

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices (vol. # 3956)

This book constitutes the refereed post-proceedings of the Second International Workshop on Construction and Analysis of ...

Container Terminals and Automated Transport Systems

Container transportation is the predominant mode of inter-continental cargo traffic. Since container ships and port terminals ...

Container Terminals and Cargo Systems

Significant gains in productivity can be achieved through advanced terminal layouts, more efficient IT-support and improved ...

Contemporary Qualitative Research

This volume offers a unique set of research exemplars for science, mathematics and technology educators. The volume explores ...

Contemporary Sociological Theory : An Integrated Multi-Level Approach

This book covers the major theoretical orientations that have been influential in American sociology since the mid-twentieth ...

Contemporary restoration of endodontically treated teeth : evidence-based diagnosis and treatment planning / Nadim Z. Baba

Traditional principles and techniques are reviewed and reinforced, along with modern materials and methods, all with a firm ...

Continuous Optimization

The search for the best possible performance is inherent in human nature. Individuals, enterprises and governments all seek ...

Continuous System Simulation

Continuous System Simulation describes systematically and methodically how mathematical models of dynamic systems, usually ...

Convergence and Applications of Newton-type Iterations

Recent results in local convergence and semi-local convergence analysis constitute a natural framework for the theoretical ...

Cooperative Bug Isolation

Efforts to understand and predict the behavior of software date back to the earliest days of computer programming,over half ...

Cooperative Bug Isolation

Efforts to understand and predict the behavior of software date back to the earliest days of computer programming,over half ...

Cooperative Design, Visualization, and Engineering : 5th International Conference, CDVE 2008 Calvià, Mallorca, Spain, September 21-25, 2008 Proceedings

This book constitutes the refereed proceedings of the 5th International Conference on Cooperative Design, Visualization, ...

Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems

This book constitutes the refereed post-proceedings of the International Workshop on Agents, Norms and Institutions for Regulated ...

Cosmesis of the Mouth, Face and Jaws / Steven A. Guttenberg

Covering the core repertoire of cosmetic facial and dental procedures, including oral and maxillofacial surgery, cosmetic ...

Cost-Benefit Analysis of Environmental Goods by Applying Contingent Valuation Method

Contingent valuation is one of the means of incorporating socio-environmental considerations in cost–benefit analysis. ...

Creative Practice Inquiry in Architecture / Ashley Mason, Adam Sharr

This collection introduces, illustrates, and advances fresh ideas about creative practice inquiry in architecture. It concerns ...

Total Books: 261 - 280 /1190