Theodor Lettmann 
Aussagenlogik: Deduktion und Algorithmen [PDF ebook] 
Deduktion und Algorithmen

Modeling and Control of Precision Actuators explores new technologies that can ultimately be applied in a myriad of industries. It covers dynamical analysis of precise actuators and strategies of des …

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 …

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 …

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 …

Cloud Computing: Implementation, Management, and Security provides an understanding of what cloud computing really means, explores how disruptive it may become in the future, and examines its advanta …

A complete introduction to the field, Ergonomics: Foundational Principles, Applications and Technologies discusses scientific principles, research, applications, and emerging trends in technology. Co …

Before deciding whether or not a new piece of technology has credibility, institutions that specialize in the health sciences demand to see extensive documentation of it being used in clinical practi …

The technical problems confronting different societies and periods and the measures taken to solve them form the concern of this annual collection of essays. It deals with the history of technical di …

Simulations have been a fixture of aviation training for many years. Advances in simulator technology now enable modern flight simulation to mimic very closely the look and feel of real world flight …