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

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 …

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 …

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 …

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

In materials chemistry, hybrid systems have become popular because of their enhanced properties compared to their individual components. Organic-inorganic hybrid materials have dual, enhanced chemica …