Experimental Analysis of Nano and Engineering Materials and Structures
ICEM13 focused on all aspects of experimental mechanics of solids with emphasis on mechanical characterization and testing ...
اقرأ المزيد
Exploratory Analysis of Spatial and Temporal Data
Exploratory data analysis (EDA) is about detecting and describing patterns, trends, and relations in data, motivated by certain ...
اقرأ المزيد
Extreme Financial Risks
Portfolio analysis and optimization, together with the associated risk assessment and management, require knowledge of the ...
اقرأ المزيد
Extreme Financial Risks
Portfolio analysis and optimization, together with the associated risk assessment and management, require knowledge of the ...
اقرأ المزيد
Extreme Programming and Agile Processes in Software Engineering (vol. # 3556)
Extreme Programming has come a long way since its ?rst use in the C3 project almost 10 years ago. Agile methods have found ...
اقرأ المزيد
Extreme Programming and Agile Processes in Software Engineering (vol. # 4044)
In its first editions, this conference was a get-together of a few pioneers who - bated about how to make agile processes ...
اقرأ المزيد
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, ...
اقرأ المزيد
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 ...
اقرأ المزيدFinite Difference Computing with Exponential Decay Models
This text provides a very simple, initial introduction to the complete scientific computing pipeline: models, discretization, ...
اقرأ المزيد
First Steps: Developing BizTalk Applications
First Steps: Developing BizTalk Applications is a primer to most other introductory BizTalk books. If you feel like traditional ...
اقرأ المزيد
Food Safety Culture
Food safety awareness is at an all time high, new and emerging threats to the food supply are being recognized, and consumers ...
اقرأ المزيد
Foodborne Microbial Pathogens
The author presents up-to-date information on molecular and cellular mechanism of several major foodborne microbial pathogens, ...
اقرأ المزيد
Formal Approaches to Software Testing (vol. # 3395)
Testing often accounts for more than 50% of the required e?ort during system development.Thechallengeforresearchistoreducethesecostsbyprovidingnew ...
اقرأ المزيد
Formal Approaches to Software Testing (vol. # 3997)
This book constitutes the thoroughly refereed post-proceedings of the 5th International Workshop on Formal Approaches to ...
اقرأ المزيد
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
This book constitutes the refereed proceedings of the 9th International Conference on Formal Engineering Methods, ICFEM 2007, ...
اقرأ المزيد
Formal Methods and Software Engineering (vol. # 3785)
This volume contains papers presented at the 7th International Conference on Formal Engineering Methods (ICFEM 2005), 1-4 ...
اقرأ المزيد
