Embedded System Design
Embedded systems have gained an enormous amount of processing power and functionality. Many of the formerly external components ...
اقرأ المزيد
Embedded Systems Specification and Design Languages : Selected contributions from FDL’07
FDL is the most important European and, probably, worldwide forum to present research results, to exchange experiences, and ...
اقرأ المزيد
Engineering Human Computer Interaction and Interactive Systems
As its name suggests, the EHCI-DSVIS conference has been a special event, merging two different, although overlapping, research ...
اقرأ المزيد
Engineering Interactive Systems : EIS 2007 Joint Working Conferences, EHCI 2007, DSV-IS 2007, HCSE 2007, Salamanca, Spain, March 22-24, 2007. Selected Papers
This book constitutes the post-conference proceedings of the WG2.7/13.4 10th Conference on Engineering Human Computer Interaction ...
اقرأ المزيد
Engineering Societies in the Agents World VI
ESAW 2005 took place at the Pine Bay Hotel in Kusadasi, Turkey at the end of the October 2005. It was organized as a stand-alone ...
اقرأ المزيد
Engineering Societies in the Agents World VII
It cover main themes: Engineering multi-agent systems, Methodologies for analysis, design, development and verification of ...
اقرأ المزيد
Engineering Societies in the Agents World VII
It cover main themes: Engineering multi-agent systems, Methodologies for analysis, design, development and verification of ...
اقرأ المزيد
Engineering Theories of Software Intensive Systems
Software engineering has over the years been applied in many different fields, ranging from telecommunications to embedded ...
اقرأ المزيد
Enhanced Methods in Computer Security, Biometric and Artificial Intelligence Systems
"Methods of Artificial Intelligence and Intelligent Agents" contains 13 contributions analyzing such areas of AI as fuzzy ...
اقرأ المزيد
Essential Issues in SOC Design
SOC design is fast becoming the key area of focus that engineers and researchers from the Electronic Design Automation field ...
اقرأ المزيدExperimental Unsaturated Soil Mechanics
These proceedings are a continuation of the series of International Conferences in Germany entitled "Mechanics of Unsaturated ...
اقرأ المزيد
Extending the Scalability of Linkage Learning Genetic Algorithms
This book aims to gain better understanding of the LLGA in theory and to improve the LLGA's performance in practice. It ...
اقرأ المزيد
FM 2005: Formal Methods
This volume contains the proceedings of Formal Methods 2005, the 13th InternationalSymposiumonFormalMethodsheldinNewcastleuponTyne,UK, ...
اقرأ المزيد
FM 2006: Formal Methods
This book presents the refereed proceedings of the 14th International Symposium on Formal Methods, FM 2006, held in Hamilton, ...
اقرأ المزيد
FM 2008: Formal Methods : 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings
This book presents the refereed proceedings of the 15th International Symposium on Formal Methods, FM 2008, held in Turku, ...
اقرأ المزيدFinite Difference Computing with Exponential Decay Models
This text provides a very simple, initial introduction to the complete scientific computing pipeline: models, discretization, ...
اقرأ المزيد
Finite Difference Computing with PDEs
This easy-to-read book introduces the basics of solving partial differential equations by means of finite difference methods. ...
اقرأ المزيد
Focusing Telescopes in Nuclear Astrophysics
This volume is the first of its kind on focusing gamma-ray telescopes. Forty-eight refereed papers provide a comprehensive ...
اقرأ المزيد
Formal Approaches to Agent-Based Systems
The 3rd Workshop on Formal Approaches to Agent-Based Systems (FAABS-III) was held at the Greenbelt Marriott Hotel (near NASA ...
اقرأ المزيد
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 ...
اقرأ المزيد
