Hans Eveking 
Verifikation digitaler Systeme [PDF ebook] 
Eine Einfuhrung in den Entwurf korrekter digitaler Systeme

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 …

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 …

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

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 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 …

Fully illustrated with diagrams, tables, and formulas, Flow Measurement covers virtually every type of flow meter in use today. Béla G. Lipták speaks on Post-Oil Energy Technology on the AT&T Tech Ch …

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 …

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 …

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 …