Electronic Books

Total Books: 1001 - 1020 /4224

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

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

Consumer Driven Electronic Transformation

The Symposia have become important, unique - casions in the international calendar of business research. The papers c- lected ...

Contemporary Qualitative Research

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

Content Delivery Networks

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

Content based social platform optimization “Fashion Platform” / Saleem Allosh ; Mohammad Hasan ; MHD Wael Alhalabi ; MHD Bader Alkattan

The purpose of this project is to design a platform that concentrates on Fashion in addition to assisting users with gathering ...

Contextual Process Digitalization Changing Perspectives – Design Thinking – Value-Led Design

This book presents an overview and step-by-step explanation of process management. It starts with the individual participants’ ...

Continuous-Time Systems

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

Contrast Media

In 1994 the European Society of Urogenital Radiology (ESUR) set up a committee to consider the safety of the contrast media ...

Contrast Media in Ultrasonography

This book provides a comprehensive account of the physical basis and the clinical applications of microbubble-based contrast ...

Contributions from Science Education Research

In August 2005, over 500 international researchers from the field of science education met at the 5th European Science Education ...

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

Control Design Techniques in Power Electronics Devices

The book is introduced through the very important topic of modeling switched power electronics as controlled dynamical systems. ...

Control and Estimation of Systems with Input/Output Delays

Time delays exist in many engineering systems such as transportation, communication, process engineering and networked control ...

Control and Scheduling Codesign : Flexible Resource Management in Real-Time Control Systems

Recent evolutionary advances in information and communication technologies give rise to a new environment for Real Time Control ...

Control of Dead-time Processes

Control of Dead-time Processes introduces the fundamental techniques for controlling dead-time processes ranging from simple ...

Total Books: 1001 - 1020 /4224