Electronic Books

Total Books: 3061 - 3080 /3600

Stabilization, Safety, and Security of Distributed Systems : 10th International Symposium, SSS 2008, Detroit, MI, USA, November 21-23, 2008. Proceedings

The book addresses all safety and security-related aspects of self-stabilizing systems in various areas of distributed computing ...

Stable Isotopes to Trace Migratory Birds and to Identify Harmful Diseases : An Introductory Guide

This manuscript discusses the potentials of the approaches as mentioned below to monitor the AIVs in WMW. Molecular diagnostic ...

Standardization and Quality Assurance in Fluorescence Measurements II : Bioanalytical and Biomedical Applications

This second of two volumes covers applications of fluorescence for bioanalysis and biomedical diagnostics.

States of Consciousness

Consciousness has always been a particularly elusive concept and one vigorously argued in the scientific community. This ...

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

Statics and Mechanics of Materials / Ferdinand P. Beer, E. Russell Johnston, Jr., John T. DeWolf, David F. Mazurek

Represents a combined abridged version of two of the author’s books, namely Engineering Mechanics: Statics, Fourteenth ...

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

Total Books: 3061 - 3080 /3600