Kurt Sieber 
The Foundations of Program Verification [PDF ebook] 

This book " Cloud Computing – An Introduction " has been mainly written for Engineering and Computer science students This book gives you detailed description about cloud computing and help …

This book presents selected topics on nanotechnological applications in the strategic sector of space. It showcases some current activities and multidisciplinary approaches that have given an unprece …

The finite element method is widely employed for numerical simulations in engineering and science due to its accuracy and efficiency. This concise introduction to the mathematical theory of the finit …

Wearable technology can range anywhere between activity trackers to prosthetics. These new advancements are continuously progressing and becoming a part of daily life. Examining Developments and Appl …

Mechanical Engineering Design, Third Edition strikes a balance between theory and application, and prepares students for more advanced study or professional practice. Updated throughout, it outlines …

Pressure vessels are prone to explosion while in operation, due to possible errors in material selection, design and other engineering activities. Addressing issues at hand for a working professional …

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 …

Handbook of Optical Design, Third Edition covers the fundamental principles of geometric optics and their application to lens design in one volume. It incorporates classic aspects of lens design alon …