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
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 masConsuming Music Together
This book collects together the most recent studies of music consumption, and new developments in music technology. It combines ...
Lee mas
Contemporary Cryptology / Public key encription / Random functions / computational complexity / cryptography / cryptology
The aim of this text is to treat selected topics of the subject of contemporary cryptology, structured in five quite independent ...
Lee mas
Contemporary Empirical Methods in Software Engineering
This book presents contemporary empirical methods in software engineering related to the plurality of research methodologies, ...
Lee masContent based image retrieval systems / Mohammad Khier Sultan ; Omar Alkoor ; Sheikho Hag Sheikho ; Hossien Saadat ; Axel Muhammad El Beik
With an advent of technology, huge collection of digital images is formed as repositories on crime prevention, medical diagnosis, ...
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 mas
Continuous System Simulation
Continuous System Simulation describes systematically and methodically how mathematical models of dynamic systems, usually ...
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 mas
Cooperative Bug Isolation
Efforts to understand and predict the behavior of software date back to the earliest days of computer programming,over half ...
Lee mas
Cooperative Bug Isolation
Efforts to understand and predict the behavior of software date back to the earliest days of computer programming,over half ...
Lee mas
Cooperative Design, Visualization, and Engineering
This book constitutes the proceedings of the 17th International Conference on Cooperative Design, Visualization, and Engineering, ...
Lee mas
Cooperative Design, Visualization, and Engineering
The cooperative design, visualization and engineering community sensed the economic pulse of a new giant economy where cooperation ...
Lee mas
Cooperative Design, Visualization, and Engineering
The cooperative design, visualization and engineering community sensed the economic pulse of a new giant economy where cooperation ...
Lee mas
Cooperative Design, Visualization, and Engineering (vol. # 3675)
This book constitutes the refereed proceedings of the Second International Conference on Cooperative Design, Visualization, ...
Lee masCooperative Design, Visualization, and Engineering (vol. # 4101)
This book constitutes the refereed proceedings of the Third International Conference on Cooperative Design, Visualization, ...
Lee mas
