Christoph Walther 
Semantik und Programmverifikation [PDF ebook] 

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 …

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 …

New features in Auto CAD 2002 are covered in this book, making it a useful refresher course for anyone using Auto CAD at this level, and upgrading to the new software release. The material in the boo …

Polymers have been used as dielectric materials owing to their light weight, great flexibility, and processability as well as high insulation properties. To enhance their performance for various …

This new book, Nanobiotechnology: Concepts and Applications in Health, Agriculture, and Environment, presents a broad conceptual overview regarding the synthesis, applications, and toxicological aspe …

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 …

This book deals with 3D nanodevices such as nanowire and nanosheet transistors at 7 nm and smaller technology nodes. It discusses technology computer-aided design (TCAD) simulations of stress- and st …

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 …

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 …

Sorting of fruits based on size is one of the important tasks performed in the packinghouses. Size is one of the parameters in grading of fruits …