Static Analysis
The aim of static analysis is to develop principles, techniques and tools for validatingpropertiesofprograms,fordesigningsemantics-basedtransformations ...
Lee mas
Static Analysis
This book constitutes the refereed proceedings of the 8th International Symposium on Static Analysis, SAS 2001, held in Paris, ...
Lee mas
Static Analysis (vol. # 3672)
"This volume contains the papers accepted for presentation at the 12th International Static Analysis Symposium (SAS 2005) ...
Lee mas
Static Analysis : 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings
The book addresses all aspects of static analysis including abstract domains, abstract interpretation, abstract testing, ...
Lee mas
Static Compression of Energetic Materials
Developing and testing novel energetic materials is an expanding branch of the materials sciences. To study the equations-of-state ...
Lee masStatics and Mechanics of Materials / Ferdinand Beer and E. Johnston and John DeWolf and David Mazurek
Maintaining the proven methodology and pedagogy of the Beer and Johnson series, Statics and Mechanics of Materials combines ...
Lee mas
Statistical Analysis of Environmental Space-Time Processes
This book provides a broad introduction to the fascinating subject of environmental space-time processes; addressing the ...
Lee mas
Statistical Analysis of Extreme Values
The statistical analysis of extreme data is important for various disciplines, including hydrology, insurance, finance, engineering ...
Lee mas
Statistical Decision Theory : Estimation, Testing, and Selection
This monograph is written for advanced graduate students, Ph.D. students, and researchers in mathematical statistics and ...
Lee mas
Statistical Demography and Forecasting
For statisticians the book provides a unique introduction to demographic problems in a familiar language. For demographers, ...
Lee mas
Statistical Design
Although statistical design is one of the oldest branches of statistics, its importance is ever increasing, especially in ...
Lee mas
Statistical Implicative Analysis : Theory and Applications
This volume collects significant research contributions of several rather distinct disciplines that benefit from SIA. Contributions ...
Lee mas
Statistical Language and Speech Processing
This book constitutes the proceedings of the 8th International Conference on Statistical Language and Speech Processing, ...
Lee mas
Statistical Learning from a Regression Perspective
Statistical Learning from a Regression Perspective considers statistical learning applications when interest centers on the ...
Lee mas
Statistical Mechanics
The completely revised new edition of the classical book on Statistical Mechanics covers the basic concepts of equilibrium ...
Lee mas
Statistical Methods for Biostatistics and Related Fields
Biostatistics is one of the scientific fields for which the recent developments have been extremely important. It is also ...
Lee mas
Statistical Methods for Environmental Epidemiology with R
Advances in statistical methodology and computing have played an important role in allowing researchers to more accurately ...
Lee mas
Statistical Methods for Human Rights
Human rights issues are shaping the modern world. They define the expectations by which nations are judged and affect the ...
Lee mas
Statistical Methods in Bioinformatics
Advances in computers and biotechnology have had a profound impact on biomedical research, and as a result complex data sets ...
Lee mas
Statistical Methods in Counterterrorism
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 ...
Lee mas
