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

This book presents selected topics on nanotechnological applications in the strategic sector of space. It showcases some current activities and multidisciplinary approaches that have given an unprece …

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 …

Introduction to Plant Automation and Controls addresses all aspects of modern central plant control systems, including instrumentation, control theory, plant systems, VFDs, PLCs, and supervisory syst …

The book deals with modern theoretical concepts related to the impact of fly ash and metakaolin admixtures on structure formation processes of concrete. Results of the effect of fly ash, metakaolin a …

The book provides a broad overview of the challenges and recent developments in the field of smart mobility and transportation, including technical, algorithmic and social aspects of smart mobility a …