Safety verifications in earthworks and foundation engineering will soon have to be performed in accordance with EC 7-1. The book shows how the present procedures have to change and introduces the new code. It is thus an indispensable help to geotechnical and civil engineers.
Dieses Buch bietet eine Einführung in die verschiedenen Aspekte der mathematischen Logik, die jeder Mathematiker und Informatiker kennen sollte.