Krzysztof R. Apt & Ernst-Rudiger Olderog 
Programmverifikation [PDF ebook] 
Sequentielle, parallele und verteilte Programme

The contents in this work are taken from both the University of Iowa“s Conference on Factorization in Integral Domains, and the 909th Meeting of the American Mathematical Society“s Special Session …

Partial Differential Equations: Analytical Methods and Applications covers all the basic topics of a Partial Differential Equations (PDE) course for undergraduate students or a beginners’ course for …

This book uses asymptotic methods to obtain simple approximate analytic solutions to various problems within mechanics, notably wave processes in heterogeneous materials. Presenting original solution …

The thirty papers published in this book represent the latest developments in Discontinuous Deformation Analysis (DDA). The Numerical Manifold Method (NMM) and other numerical methods and their appli …

This book covers the development of methods for detection and estimation of changes in complex systems. These systems are generally described by nonstationary stochastic models, which comprise both s …

This important work provides a comprehensive overview of the properties of Banachspaces related to strict convexity and a survey of significant applications-uniting a wealthof information previously …

This volume offers a gradual exposition to matrix theory as a subject of linear algebra. It presents both the theoretical results in generalized matrix inverses and the applications. The book is as s …

This totally revised and expanded reference/text provides comprehensive, single-source coverage of the design, problem solving, and specifications of electromagnetic compatibility (EMC) into electric …

Alternating current (AC) induction and synchronous machines are frequently used in variable speed drives with applications ranging from computer peripherals, robotics, and machine tools to railway tr …

Response Surfaces: Designs and Analyses; Second Edition presents techniques for designing experiments that yield adequate and reliable measurements of one or several responses of interest, fitting an …