Electronic Books

Total Books: 15461 - 15480 /18480

Static Analysis

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

Static Analysis

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

Static Analysis (vol. # 3672)

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

Static Analysis (vol. # 4134)

This book constitutes the refereed proceedings of the 13th International Symposium on Static Analysis, SAS 2006. The book ...

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, ...

Static Analysis of Determinate and Indeterminate Structures / Kenneth Derucher, Chandrasekhar Putcha

Presents students with the key fundamental elements of structural analysis and covers as much material as is needed for a ...

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 ...

Static and Dynamic Analysis of Engineering Structures : Incorporating the Boundary Element Method / Levon G. Petrosian, Vladimir A. Ambartsumian

Illustrates the modern methods of static and dynamic analysis of structures; Provides methods for solving boundary value ...

Statistical Analysis and Optimization for VLSI: Timing and Power

Statistical Analysis and Optimization for VLSI: Timing and Power is the first book summarizing the state-of-the-art in the ...

Statistical Analysis of Environmental Space-Time Processes

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

Statistical Analysis of Extreme Values

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

Statistical Decision Theory : Estimation, Testing, and Selection

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

Statistical Demography and Forecasting

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

Statistical Design

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

Statistical Hydrodynamic Models for Developed Mixing Instability Flows

Part textbook, part exploratory work, this book aims to raise the awareness of students, physicists, and engineers in turbulence ...

Statistical Implicative Analysis : Theory and Applications

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

Statistical Language and Speech Processing

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

Statistical Learning from a Regression Perspective

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

Statistical Mechanics

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

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 ...

Total Books: 15461 - 15480 /18480