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

The importance of good documentation can build a strong foundation for any thriving organization. This reference text provides a detailed and practical treatment of technical writing in an easy to un …

Critical incident stress management (CISM) is now a well-established method in crisis intervention, and one that is clearly needed within aviation. However, there are many peculiarities in this branc …

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 …

Fundamentals of Structural Mechanics, Dynamics, and Stability examines structural mechanics from a foundational point of view and allows students to use logical inference and creative reasoning to so …

This book has been designed to introduce the fundamental concepts of Continuum Mechanics. A unique feature of the book is that each chapter has been presented with different types of solved problems …

A practical introduction to woodworking and purpose-made joinery, this book starts with the basics of interpreting drawings and works right the way through to designing and making stairs. Les Goring …

As technology presses forward, scientific projects are becoming increasingly complex. The international space station, for example, includes over 100 major components, carried aloft during 88 spaces …

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 …

This book is intended to serve as a compact manual of concepts and symbols used in critical thinking and formal logic. While most people believe that they can present a sound argument, or spot a faul …