Christoph Walther 
Semantik und Programmverifikation [PDF ebook] 

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 …

No one really knows where nanotechnology is leading, what its pursuit will mean, and how it may affect human and other forms of life. Nevertheless, its research and development are moving briskly int …

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 …

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 …

When darkness falls, storms rage, fog settles, or lights fail, pilots are forced to make ‘instrument landings, ‘ relying on technology and training to guide them through typically the most dangerous …

This updated second edition summarizes screening equipment options available for industrial and municipal water and wastewater treatment. It provides a consolidated source of basic design and applica …

We overspend on data center storage … yet, we fall short of business requirements. It”s not about the technologies. It”s about the proper application of technologies to deliver storage services eff …

First published in 1990. CRC Press is an imprint of Taylor & Francis. …