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