Electronic Books

Total Books: 1 - 20 /21
Control Reconfiguration of Dynamical Systems

The book addresses advanced engineering students, developers and researchers that have a specific interest in control reconfiguration. ...

Lire la suite
Deontic Logic in Computer Science : 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings

This volume presents the refereed proceedings of the 9th International Conference on Deontic Logic in Computer Science, DEON ...

Lire la suite
Dependable Computing

Contains the proceedings of the 'Second Latin-American Symposium' on Dependable Computing, LADC 2005. This book comprises ...

Lire la suite
Dependable Computing - EDCC 2005

It is always a special honor to chair the European Dependable Computing C- ference (EDCC). EDCC has become one of the well-established ...

Lire la suite
Dependable Embedded Systems

This book introduces readers to many new techniques for enhancing and optimizing reliability in embedded systems, which have ...

Lire la suite
Distributed Computing and Internet Technology

The book is covering a range of issues from basic technology, through services and engineering, to applications, from development ...

Lire la suite
Distributed Computing and Internet Technology

The book is covering a range of issues from basic technology, through services and engineering, to applications, from development ...

Lire la suite
Distributed Embedded Control Systems : Improving Dependability with Coherent Design

Distributed Embedded Control Systems handles the domains encountered when designing a distributed embedded computer control ...

Lire la suite
Fault-Tolerance Techniques for SRAM-Based FPGAs

This book discusses fault-tolerance techniques for SRAM-based Field Programmable Gate Arrays (FPGAs). It starts by showing ...

Lire la suite
Holonic and Multi-Agent Systems for Manufacturing

The research of holonic and agent-based systems is developing rapidly, as is the community around this R&D topic. Despite ...

Lire la suite
Holonic and Multi-Agent Systems for Manufacturing

The challenge faced in today’s manufacturing and business environments is the question of how to satisfy increasingly ...

Lire la suite
Molecular Electronics Materials, Devices and Applications

another goal of Molecular Electronics Materials, Devices and Applications is also to promote a practical approach. As a starting ...

Lire la suite
Parallel Computing Technologies

This book constitutes the refereed proceedings of the 9th International Conference on Parallel Computing Technologies, PaCT ...

Lire la suite
NoIMG
Process Control

In this book, passivity-based developments in the areas of robust process control, decentralized control, fault tolerant ...

Lire la suite
Reconfigurable Distributed Control

Reconfigurable Distributed Control helps meet the challenge of applying distributed control to dynamical systems, integrating ...

Lire la suite
Software Technologies for Embedded and Ubiquitous Systems

This book constitutes the thoroughly refereed post-proceedings of the 5th IFIP WG 10.2 International Workshop on Software ...

Lire la suite
Software Technologies for Embedded and Ubiquitous Systems : 6th IFIP WG 10.2 International Workshop, SEUS 2008, Anacarpi, Capri Island, Italy, October 1-3, 2008 Proceedings

This book includes model-driven development; middleware; real time; quality of service and performance; applications; pervasive ...

Lire la suite
Stabilization, Safety, and Security of Distributed Systems : 10th International Symposium, SSS 2008, Detroit, MI, USA, November 21-23, 2008. Proceedings

The book addresses all safety and security-related aspects of self-stabilizing systems in various areas of distributed computing ...

Lire la suite
Theory and Applications of Models of Computation : 5th International Conference, TAMC 2008, Xi’an, China, April 25-29, 2008. Proceedings

This book cover current issues of all major areas in computer science, mathematics (especially logic) and the physical sciences ...

Lire la suite
Theory of Quantum Computation, Communication, and Cryptography : Third Workshop, TQC 2008 Tokyo, Japan, January 30 - February 1, 2008. Revised Selected Papers

This book focus on theoretical aspects of quantum computation, quantum communication, and quantum cryptography, which are ...

Lire la suite
Total Books: 1 - 20 /21