The book addresses all aspects of static analysis including abstract domains, abstract interpretation, abstract testing, ...
Lire la suite
Presents students with the key fundamental elements of structural analysis and covers as much material as is needed for a ...
Lire la suite
Illustrates the modern methods of static and dynamic analysis of structures; Provides methods for solving boundary value ...
Lire la suite
Statistical Analysis and Optimization for VLSI: Timing and Power is the first book summarizing the state-of-the-art in the ...
Lire la suite
This volume collects significant research contributions of several rather distinct disciplines that benefit from SIA. Contributions ...
Lire la suite
This book constitutes the proceedings of the 8th International Conference on Statistical Language and Speech Processing, ...
Lire la suite
The book develops the statistical approach to inverse problems with an emphasis on modeling and computations. The framework ...
Lire la suite
The first part of the book presents the different types of generators which are installed either in industrial plants like ...
Lire la suite
Presents the state-of-the-art-knowledge on corrosion of steel, cast iron and ductile iron with a focus on corrosion-induced ...
Lire la suite
Establishes a vertical stress distribution of the walls under compression and in-plane bending load and an inclination angle ...
Lire la suite
Examines the corrosion of reinforced concrete from a practical point of view, highlights protective design and repair procedures, ...
Lire la suiteSteel Concrete Composite Bridges outlines the various forms that modern steel-concrete composite bridges take, from simple ...
Lire la suite
Stem Cell Biology and Tissue Engineering in Dental Sciences bridges the gap left by many tissue engineering and stem cell ...
Lire la suite
Stem Cell Therapy & Tissue Engineering for Cardiovascular Repair serves as an essential reference material covering these ...
Lire la suite
This book deals with the application of stigmergy for a variety of optimization problems. This volume comprises 12 chapters ...
Lire la suite
This volume presents a number of fundamental theoretical advances in the area of stochastic hybrid systems, motivated primarily ...
Lire la suite
This work presents stochastic switching systems and provides up-to-date methods and techniques for the analysis and design ...
Lire la suite
This volume contains almost all of the papers that were presented at the Workshop on Stochastic Theory and Control that was ...
Lire la suite
This text provides the reader with background information on hydrology and water quality issues that are necessary to understand ...
Lire la suite