This book gathers contributions to the 4th International Conference on Soft methods in Probability and Statistics. Its aim ...
اقرأ المزيد
The goal of the International Symposia on Software Composition is to advance the state of the research in component-based ...
اقرأ المزيد
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
اقرأ المزيد
The 9th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed ...
اقرأ المزيد
This volume contains papers presented at the International Conference on Software Process (ICSP 2007) held in Minneapolis, ...
اقرأ المزيد
Past cycles of sovereign lending and default in emerging markets suggest that debt crises will recur at some point. In addressing ...
اقرأ المزيد
This is the fourth volume in a series of books dedicated to basic research in spatial cognition. Spatial cognition is a field ...
اقرأ المزيد
Evolutionary algorithms (EAs) is now a mature problem-solving family of heuristics that has found its way into many important ...
اقرأ المزيد
this book discusses a range of familiar, connected, but largely undeveloped, topics in an accessible, but complete manner. ...
اقرأ المزيد
In the context of sports leagues scheduling (SLS) several groups' interests must be taken into account. This book treats ...
اقرأ المزيد
Stability and Optimization of Structures: Generalized Sensitivity Analysis is the first book to address issues of structural ...
اقرأ المزيد
Dr. Alamir presents a successful approach to this problem based on a co-operation between structural considerations and on-line ...
اقرأ المزيد
Systems governed by nonlinear partial differential equations (PDEs) arise in many spheres of study. The stabilization and ...
اقرأ المزيد
The aim of static analysis is to develop principles, techniques and tools for validatingpropertiesofprograms,fordesigningsemantics-basedtransformations ...
اقرأ المزيد
"This volume contains the papers accepted for presentation at the 12th International Static Analysis Symposium (SAS 2005) ...
اقرأ المزيد
This book constitutes the refereed proceedings of the 13th International Symposium on Static Analysis, SAS 2006. The book ...
اقرأ المزيد
The book addresses all aspects of static analysis including abstract domains, abstract interpretation, abstract testing, ...
اقرأ المزيد
Statistical Analysis and Optimization for VLSI: Timing and Power is the first book summarizing the state-of-the-art in the ...
اقرأ المزيد
All the data was out there to warn us of this impending attack, why didn't we see it?" This was a frequently asked question ...
اقرأ المزيد
The book develops the statistical approach to inverse problems with an emphasis on modeling and computations. The framework ...
اقرأ المزيد