Emerging Directions in Embedded and Ubiquitous Computing
Constitutes the refereed proceedings of the EUC 2006 workshops, held in conjunction with the IFIP International Conference ...
Continue reading
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 ...
Continue reading
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 ...
Continue reading
Fault Diagnosis of Analog Integrated Circuits
Fault Diagnosis of Analog Integrated Circuits is a textbook for advanced undergraduate and graduate level students as well ...
Continue reading
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 ...
Continue reading
Formal Methods and Software Engineering (vol. # 4260)
This book constitutes the refereed proceedings of the 8th International Conference on Formal Engineering Methods, ICFEM 2006, ...
Continue reading
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 ...
Continue reading
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, ...
Continue reading
From Specification to Embedded Systems Application
Application documents recent approaches and results presented at the International Embedded Systems Symposium (IESS 2005), ...
Continue reading
Frontiers in Algorithmics
This book constitutes the refereed proceedings of the First Annual International Frontiers of Algorithmics Workshop, FAW ...
Continue reading
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 ...
Continue reading
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 ...
Continue reading
Human-Computer Interaction. HCI Applications and Services
The 12th International Conference on Human-Computer Interaction, HCI Inter- tional 2007, was held in Beijing, P.R. This ...
Continue reading
Iceland Geodynamics
This book provides a summary of geodynamic results from Iceland that presently are found in a great number of scientific ...
Continue reading
Information Security Theory and Practices. Smart Devices, Convergence and Next Generation Networks : Second IFIP WG 11.2 International Workshop, WISTP 2008, Seville, Spain, May 13-16, 2008. Proceedings
This volume constitutes the refereed proceedings of the Second IFIP WG 11.2 International Workshop on Information Security ...
Continue reading
Languages, Methodologies and Development Tools for Multi-Agent Systems : First International Workshop, LADS 2007, Durham, UK, September 4-6, 2007. Revised Selected Papers
This book constitutes the thoroughly refereed post-workshop proceedings of the First International Workshop on Languages, ...
Continue reading
Massively Multi-Agent Technology : AAMAS Workshops, MMAS 2006, LSMAS 2006, and CCMMS 2007 Hakodate, Japan, May 9, 2006 Honolulu, HI, USA, May 15, 2007 Selected and Revised Papers
This book constitutes the thoroughly refereed post-workshop proceedings of the joint AAMAS 2006 International Workshops on ...
Continue reading
Microearthquake Seismology and Seismotectonics of South Asia
This volume comprehensively deals with plate tectonics and seismic waves in general and earthquake monitoring by permanent ...
Continue reading
Middleware 2005
Today, middleware is a key part of almost any application. Gone are the days when middleware was only used in the IT industry ...
Continue reading
Middleware 2007
This book constitutes the refereed proceedings of the ACM/IFIP/USENIX 8th International Middleware Conference 2007, held ...
Continue reading
