Electronic Books

Total Books: 10961 - 10980 /13022
Static Analysis

The aim of static analysis is to develop principles, techniques and tools for validatingpropertiesofprograms,fordesigningsemantics-basedtransformations ...

Lire la suite
Static Analysis

This book constitutes the refereed proceedings of the 8th International Symposium on Static Analysis, SAS 2001, held in Paris, ...

Lire la suite
Static Analysis (vol. # 3672)

"This volume contains the papers accepted for presentation at the 12th International Static Analysis Symposium (SAS 2005) ...

Lire la suite
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, ...

Lire la suite
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 ...

Lire la suite
NoIMG
Statics 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 ...

Lire la suite
Statistical Analysis of Environmental Space-Time Processes

This book provides a broad introduction to the fascinating subject of environmental space-time processes; addressing the ...

Lire la suite
Statistical Analysis of Extreme Values

The statistical analysis of extreme data is important for various disciplines, including hydrology, insurance, finance, engineering ...

Lire la suite
Statistical Decision Theory : Estimation, Testing, and Selection

This monograph is written for advanced graduate students, Ph.D. students, and researchers in mathematical statistics and ...

Lire la suite
Statistical Demography and Forecasting

For statisticians the book provides a unique introduction to demographic problems in a familiar language. For demographers, ...

Lire la suite
Statistical Design

Although statistical design is one of the oldest branches of statistics, its importance is ever increasing, especially in ...

Lire la suite
Statistical Implicative Analysis : Theory and Applications

This volume collects significant research contributions of several rather distinct disciplines that benefit from SIA. Contributions ...

Lire la suite
Statistical Language and Speech Processing

This book constitutes the proceedings of the 8th International Conference on Statistical Language and Speech Processing, ...

Lire la suite
Statistical Learning from a Regression Perspective

Statistical Learning from a Regression Perspective considers statistical learning applications when interest centers on the ...

Lire la suite
Statistical Mechanics

The completely revised new edition of the classical book on Statistical Mechanics covers the basic concepts of equilibrium ...

Lire la suite
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 ...

Lire la suite
Statistical Methods for Environmental Epidemiology with R

Advances in statistical methodology and computing have played an important role in allowing researchers to more accurately ...

Lire la suite
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 ...

Lire la suite
Statistical Methods in Bioinformatics

Advances in computers and biotechnology have had a profound impact on biomedical research, and as a result complex data sets ...

Lire la suite
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 ...

Lire la suite
Total Books: 10961 - 10980 /13022