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