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