This volume presented automata and timed systems; security and hyperproperties; synthesis; model checking; cyber-physical ...
Continue readingThis book constitutes the refereed proceedings of the 6th International Conference on Computers and Games, CG 2008, held ...
Continue readingThe refereed proceedings of the 14th Annual International Computing and Combinatorics Conference, COCOON 2008, held in Dalian, ...
Continue readingThis textbook illuminates the field of discrete mathematics with examples, theory, and applications of the discrete volume ...
Continue readingThis book constitutes the refereed proceedings of the 27th International Conference on Conceptual Modeling, ER 2008, held ...
Continue readingThis book constitutes the refereed proceedings of the 16th International Conference on Conceptual Structures, ICCS 2008, ...
Continue readingMoves beyond existing resources, to study the relationship between existing composite structures and design methods for the ...
Continue readingConcrete is a global material that underwrites commercial wellbeing and social development. There is no substitute that can ...
Continue readingPresents and analyzes the designs of erected concrete dams, which allows for a better understanding of the approaches and ...
Continue readingDemands an underlying knowledge of concrete fundamentals as well as its constituent materials, and in various formulations. ...
Continue readingPresents comprehensive theory, design and key construction methods, with a simple design example based on the AASHTO LRFD ...
Continue readingBased primarily on Eurocode 2, this book offers a comprehensive exploration of theory alongside a substantial collection ...
Continue readingCovering a wide range of structural elements and related defects, this collection of twenty concrete bridge strengthening ...
Continue readingConcrete-Filled Double-Skin Steel Tubular Columns: Behavior and Design provides a thorough review of the recent advances ...
Continue readingProvides an understanding of materials’ behaviour through knowledge of their chemical and physical structure. It covers ...
Continue readingCovers both traditional and contemporary materials, current industry standards and new and emerging technologies. The only ...
Continue readingProvides guidelines which can extend the existing standards and codes to cover these types of special works, especially those ...
Continue readingThis second edition provides a thorough introduction to contemporary convex function theory with many new results. A large ...
Continue readingGives an overview of major results, methods and ideas of convex and discrete geometry and its applications. Besides being ...
Continue readingThis book surveys deterioration of concrete, particularly corrosion of the steel reinforcement, and the various chemical, ...
Continue reading