Focuses on the durability problems of existing prestressed concrete (PC) structures caused by strand corrosion, clarifies ...
اقرأ المزيد
Presents unified design approach for strengthening concrete members with different techniques such as concrete, steel, and ...
اقرأ المزيد
Covers the historical background of structural concrete; advantages and disadvantages; codes and practice; and design philosophy ...
اقرأ المزيد
The leading structural concrete design reference for over two decades—updated to reflect the latest ACI 318-19 code A go-to ...
اقرأ المزيد
This book cover topics such as distributed algorithms, compact data structures, information dissemination, informative labeling ...
اقرأ المزيد
This book includes : graph-based methods, probabilistic and stochastic structural models for PR, image and video analysis, ...
اقرأ المزيد
This book addresses the design of such tools for correct-by-construction synthesis of supervisors for systems and specifications ...
اقرأ المزيد
Focuses on individual materials, addressing material characterization, their role in the strength and durability of construction ...
اقرأ المزيد
Presents new technologies for easy and economical construction of light concrete structures saving materials and CO2. The ...
اقرأ المزيد
This book is an introduction to technical translation and usability for translators and researchers. It draws on a broad ...
اقرأ المزيد
Temporal logic has developed over the last 30 years into a powerful formal setting for the specification and verification ...
اقرأ المزيد
Build, test, and tune financial, insurance or other market trading systems using C++ algorithms and statistics. This book ...
اقرأ المزيد
Provides an understanding of peer-reviewed international construction materials and their testing methods in a simplified ...
اقرأ المزيد
This book covers new approaches, concepts, theories, methodologies, tools, and experiences in the field of testing of communicating ...
اقرأ المزيد
Show you how these applications can take advantage of JavaFX’s latest user interface components, 3D technology, and cloud ...
اقرأ المزيد
"The Developer's Guide to Debugging" is a book for both professional software developers seeking to broaden their skills ...
اقرأ المزيد
This book introduces the reader to methods allowing one to build explicit solutions to these equations. A prerequisite task ...
اقرأ المزيد
This book cover all aspects of theorem proving in higher order logics as well as related topics in theorem proving and verification ...
اقرأ المزيد
This book constitutes the refereed proceedings of the 16th Annual Conference on Theory and Applications of Models of Computation, ...
اقرأ المزيد
This textbook focuses on concrete-filled steel tubular structures formed by placing concrete inside the steel tube. The content ...
اقرأ المزيد