Electronic Books

Total Books: 1381 - 1400 /4790

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

Consuming Music Together

This book collects together the most recent studies of music consumption, and new developments in music technology. It combines ...

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

Contemporary Empirical Methods in Software Engineering

This book presents contemporary empirical methods in software engineering related to the plurality of research methodologies, ...

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

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 System Simulation

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

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

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

This book constitutes the proceedings of the 17th International Conference on Cooperative Design, Visualization, and Engineering, ...

Cooperative Design, Visualization, and Engineering

The cooperative design, visualization and engineering community sensed the economic pulse of a new giant economy where cooperation ...

Cooperative Design, Visualization, and Engineering

The cooperative design, visualization and engineering community sensed the economic pulse of a new giant economy where cooperation ...

Cooperative Design, Visualization, and Engineering (vol. # 3675)

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

Cooperative Design, Visualization, and Engineering (vol. # 4101)

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

Total Books: 1381 - 1400 /4790