Electronic Books

Total Books: 101 - 120 /400
978-3-030-25540-4
Computer Aided Verification ; 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I

This volume presented automata and timed systems; security and hyperproperties; synthesis; model checking; cyber-physical ...

Continue reading
978-3-540-87608-3
Computers and Games : 6th International Conference, CG 2008, Beijing, China, September 29 - October 1, 2008. Proceedings

This book constitutes the refereed proceedings of the 6th International Conference on Computers and Games, CG 2008, held ...

Continue reading
978-3-540-69733-6
Computing and Combinatorics : 14th Annual International Conference, COCOON 2008 Dalian, China, June 27-29, 2008 Proceedings

The refereed proceedings of the 14th Annual International Computing and Combinatorics Conference, COCOON 2008, held in Dalian, ...

Continue reading
978-0-387-46112-0
Computing the Continuous Discretely : Integer-Point Enumeration in Polyhedra

This textbook illuminates the field of discrete mathematics with examples, theory, and applications of the discrete volume ...

Continue reading
978-3-540-87877-3
Conceptual Modeling - ER 2008 : 27th International Conference on Conceptual Modeling, Barcelona, Spain, October 20-24, 2008. Proceedings

This book constitutes the refereed proceedings of the 27th International Conference on Conceptual Modeling, ER 2008, held ...

Continue reading
978-3-540-70596-3
Conceptual Structures: Knowledge Visualization and Reasoning : 16th International Conference on Conceptual Structures, ICCS 2008 Toulouse, France, July 7-11, 2008 Proceedings

This book constitutes the refereed proceedings of the 16th International Conference on Conceptual Structures, ICCS 2008, ...

Continue reading
9780323851718
Concrete Composite Columns : Behavior and Design / Chong Rong

Moves beyond existing resources, to study the relationship between existing composite structures and design methods for the ...

Continue reading
NoIMG
Concrete Floors And Slabs: Proceedings of the International Seminar held at the University of Dundee, Scotland, UK on 5–6 September 2002

Concrete is a global material that underwrites commercial wellbeing and social development. There is no substitute that can ...

Continue reading
9780367742379
Concrete Gravity and Arch Dams on Rock Foundation / Bronstein Vadim Izrailovich

Presents and analyzes the designs of erected concrete dams, which allows for a better understanding of the approaches and ...

Continue reading
9781032470184
Concrete Materials and Technology : A Practical Guide / Kambiz Janamian, José Aguiar

Demands an underlying knowledge of concrete fundamentals as well as its constituent materials, and in various formulations. ...

Continue reading
NoIMG
Concrete Segmental Bridges : Theory, Design, and Construction to AASHTO LRFD Specifications / Dongzhou Huang, Bo Hu

Presents comprehensive theory, design and key construction methods, with a simple design example based on the AASHTO LRFD ...

Continue reading
9780367770679
Concrete Structures : Design and Residual Capacity Assessment / Enrique Hernández-Montes, Luisa María Gil-Martín

Based primarily on Eurocode 2, this book offers a comprehensive exploration of theory alongside a substantial collection ...

Continue reading
NoIMG
Concrete bridge strengthening and repair

Covering a wide range of structural elements and related defects, this collection of twenty concrete bridge strengthening ...

Continue reading
9780443152283
Concrete-Filled Double-Skin Steel Tubular Columns : Behavior and Design / Mostafa Fahmi Hassanein, Mohamed Elchalakani

Concrete-Filled Double-Skin Steel Tubular Columns: Behavior and Design provides a thorough review of the recent advances ...

Continue reading
9781498741101
Construction Materials : Their Nature and Behaviour / Marios Soutsos, Peter Domone

Provides an understanding of materials’ behaviour through knowledge of their chemical and physical structure. It covers ...

Continue reading
9780357513835
Construction Materials, Methods, and Techniques: Building for a Sustainable Future / Eva Kultermann, William P. Spence

Covers both traditional and contemporary materials, current industry standards and new and emerging technologies. The only ...

Continue reading
NoIMG
Control of cracking in reinforced concrete structures

Provides guidelines which can extend the existing standards and codes to cover these types of special works, especially those ...

Continue reading
978-3-319-78337-6
Convex Functions and Their Applications

This second edition provides a thorough introduction to contemporary convex function theory with many new results. A large ...

Continue reading
978-3-540-71133-9
Convex and Discrete Geometry

Gives an overview of major results, methods and ideas of convex and discrete geometry and its applications. Besides being ...

Continue reading
9780367517601
Corrosion and Protection of Reinforced Concrete / Brian Cherry, Warren Green

This book surveys deterioration of concrete, particularly corrosion of the steel reinforcement, and the various chemical, ...

Continue reading
Total Books: 101 - 120 /400