Electronic Books

Total Books: 61 - 80 /164

Embedded and Ubiquitous Computing - EUC 2005 Workshops

This book constitutes the refereed proceedings of the EUC 2005 workshops held in conjunction with the IFIP International ...

Emerging Directions in Embedded and Ubiquitous Computing

This volume contains discuss and exchange state-of-the-art research results and experience, case studies and on-going research ...

Emerging Directions in Embedded and Ubiquitous Computing

This volume contains discuss and exchange state-of-the-art research results and experience, case studies and on-going research ...

Emerging Directions in Embedded and Ubiquitous Computing

Constitutes the refereed proceedings of the EUC 2006 workshops, held in conjunction with the IFIP International Conference ...

Evolvable Systems: From Biology to Hardware

The 41 revised full papers collected in this volume are organized in topical sections on digital hardware evolution, analog ...

Evolvable Systems: From Biology to Hardware

The 41 revised full papers collected in this volume are organized in topical sections on digital hardware evolution, analog ...

Fault Diagnosis and Tolerance in Cryptography

The sophistication of the underlying cryptographic algorithms, the high complexity of the implementations, and the easy access ...

Fault Diagnosis of Analog Integrated Circuits

Fault Diagnosis of Analog Integrated Circuits is a textbook for advanced undergraduate and graduate level students as well ...

Fault-Diagnosis Systems

This book gives an introduction into the field of fault detection, fault diagnosis and fault-tolerant systems with methods ...

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

Formal Approaches to Software Testing and Runtime Verification

Software validation is one of the most cost-intensive tasks in modern software production processes. The objective of FATES/RV ...

Formal Methods and Software Engineering (vol. # 4260)

This book constitutes the refereed proceedings of the 8th International Conference on Formal Engineering Methods, ICFEM 2006, ...

Formal Methods and Testing : An Outcome of the FORTEST Network, Revised Selected Papers

This book constitutes the thoroughly refereed and peer-reviewed outcome of the Formal Methods and Testing (FORTEST) network ...

Fossil Earthquakes: The Formation and Preservation of Pseudotachylytes

This book encompass the principl results of field investigations, analyses of meso-scale and micro-scale textures and structures, ...

From Specification to Embedded Systems Application

Application documents recent approaches and results presented at the International Embedded Systems Symposium (IESS 2005), ...

Frontiers in Algorithmics

This book constitutes the refereed proceedings of the First Annual International Frontiers of Algorithmics Workshop, FAW ...

Frontiers in Computing Technologies for Manufacturing Applications

Frontiers in Computing Technologies for Manufacturing Applications presents an overview of the state-of-the-art intelligent ...

Handbook of Philosophical Logic, 2nd Edition

in this book achapter on non-monotoniclogic a chapter on combinatory logic and calculus We feltat the time(1979)that non-monotonic ...

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

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

Total Books: 61 - 80 /164