Constructing Correct Software
Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. ...
Lee mas
Constructing Correct Software
Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. ...
Lee mas
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 ...
Lee mas
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 ...
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
Consumer Driven Electronic Transformation
The Symposia have become important, unique - casions in the international calendar of business research. The papers c- lected ...
Lee mas
Contemporary Qualitative Research
This volume offers a unique set of research exemplars for science, mathematics and technology educators. The volume explores ...
Lee mas
Content Delivery Networks
Content Delivery Networks enables the readers to understand the basics, to identify the underlying technology, to summarize ...
Lee masContent 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 ...
Lee mas
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’ ...
Lee masContinuous-Time Systems
The book systematically covers major foundations of the systems theory. First, the quantitative and qualitative methods of ...
Lee mas
Contrast Media
In 1994 the European Society of Urogenital Radiology (ESUR) set up a committee to consider the safety of the contrast media ...
Lee mas
Contrast Media in Ultrasonography
This book provides a comprehensive account of the physical basis and the clinical applications of microbubble-based contrast ...
Lee mas
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 ...
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
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. ...
Lee masControl and Estimation of Systems with Input/Output Delays
Time delays exist in many engineering systems such as transportation, communication, process engineering and networked control ...
Lee mas
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 ...
Lee masControl of Dead-time Processes
Control of Dead-time Processes introduces the fundamental techniques for controlling dead-time processes ranging from simple ...
Lee mas
