Christoph Walther 
Semantik und Programmverifikation [PDF ebook] 

BTEC National for IT Practitioners: Systems Units has been written specifically to cover the systems pathway of the BTEC National specifications. This book caters for one of the most popular pathways …

Higher Engineering Science aims to provide students with an understanding of the scientific principles that underpin the design and operation of modern engineering systems. It builds a sound scientif …

This updated edition includes fatigue and sleep definitions as well as strategies for the measurement and assessment of fatigue. The aviation performance, mood, and safety problems associated with sl …

Contamination of aqueous environments by hazardous chemical compounds is the direct cause of the decline of safe clean water supply throughout the globe. The use of unconventional water sources such …

Upconverting Nanomaterials: Perspectives, Synthesis, and Applications serves as a powerful instrument that explores cutting-edge research knowledge on the topic of upconverting nanosystems, while sim …

Some recent essential ideas and advanced techniques have been presented to overcome the current engineering issues in the civil engineering, water science and environmental engineering and food engin …

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 …

A review of open channel turbulence, focusing especially on certain features stemming from the presence of the free surface and the bed of a river. Part one presents the statistical theory of turbule …

Nonlinear Filtering covers linear and nonlinear filtering in a comprehensive manner, with appropriate theoretic and practical development. Aspects of modeling, estimation, recursive filtering, linear …