Ralf-Detlef Kutsche 
Grundlagen des maschinellen Beweisens [PDF ebook] 
Eine Einfuhrung fur Informatiker und Mathematiker

Principles of Composite Material Mechanics covers a unique blend of classical and contemporary mechanics of composites technologies. It presents analytical approaches ranging from the elementary mech …

Green nanotechnology has two goals: producing nanomaterials and products without harming the environment or human health, and producing nanoproducts that provide solutions to environmental problems. …

Flat and Corrugated Diaphragm Design Handbook provides simple, useful methods for diaphragmdesign, performance evaluation, and material selection. The text is a practical andcomplete guide to solving …

This project will tackle the subject of Power Quality, Power Quality Disturbances, Power Quality Standards as well as Power Quality Monitoring. A general description of each of the disturbances will …

1-D metal oxide nanostructures, especially those with semiconducting properties, have attracted much attention in recent years due to their potential and emerging applications, specifically in enviro …

An integral part of any engineering or manufacturing process is a continuous process of assessing its safety and reliability. This work provides a guide to the practical application of safety and rel …

The finite element method is widely employed for numerical simulations in engineering and science due to its accuracy and efficiency. This concise introduction to the mathematical theory of the finit …

This volume”s goal is to begin to document the dialogue processes in naturally-occurring human tutoring, in the context of informing the design of intelligent tutoring systems, and of interactive sy …

Pressure vessels are prone to explosion while in operation, due to possible errors in material selection, design and other engineering activities. Addressing issues at hand for a working professional …