checking
111Eurocode 2 für Deutschland. Kommentierte Fassung. DIN EN 1992-1-1 Bemessung und Konstruktion von Stahlbeton- und Spannberton , Deutscher Beton- und Bautechnik-Verein e.V.
Eurocode 2«Design of concrete structures – Part 1-1: General Rules, and rules for buildings» (EC2-1-1) and the German National Annex were tested and improved upon during a thorough trial phase… 8439.61 руб электронная книга112Industrial Use of Formal Methods. Formal Verification , Jean-Louis Boulanger
At present the literature gives students and researchers of the very general books on the formal technics. The purpose of this book is to present in a single book, a return of experience on the used… 12483.68 руб электронная книга113Theory of Structures. Fundamentals, Framed Structures, Plates and Shells , Peter Marti
This book provides the reader with a consistent approach to theory of structures on the basis of applied mechanics. It covers framed structures as well as plates and shells using elastic and plastic… 2181.42 руб электронная книга114Formal Methods. Industrial Use from Model to the Code , Jean-Louis Boulanger
Although formal analysis programming techniques may be quite old, the introduction of formal methods only dates from the 1980s. These techniques enable us to analyze the behavior of a software… 12483.68 руб электронная книга115Electrical Installation Calculations. For Compliance with BS 7671:2008 , Jenkins B. D.
Manual calculations are still extensively used and in particular are necessary for checking and verifying various software calculation design packages. It is highly recommended that users of such… 4991.13 руб электронная книга116Handbook of Corporate Performance Management , Bourne Pippa
A corporate performance management system can transform your business– but only if it is designed and implemented in the right way. this book will provide you with the tools and approaches to help… 5073.08 руб электронная книга117Formal Methods for Industrial Critical Systems. A Survey of Applications , Margaria Tiziana
Today, formal methods are widely recognized as an essential step in the design process of industrial safety-critical systems. In its more general definition, the term formal methods encompasses all… 7332.55 руб электронная книга118Bayesian Modeling Using WinBUGS , Ioannis Ntzoufras
A hands-on introduction to the principles of Bayesian modeling using WinBUGS Bayesian Modeling Using WinBUGS provides an easily accessible introduction to the use of WinBUGS programming techniques in… 12565.63 руб электронная книга119N or M? , Christie Agatha (2015)
The last words of a murdered government agent lead Tommy and Tuppence Beresford to the Sans Souci Hotel, where they're greeted with hostile guests, a mysterious hotelier, and reports of a missing… 603 руб120N or M? (изд. 2015 г. ) , Christie Agatha (2015)
The last words of a murdered government agent lead Tommy and Tuppence Beresford to the Sans Souci Hotel, where they`re greeted with hostile guests, a mysterious hotelier, and reports of a missing… 780 грн (только Украина)