Electronic Books

Total Books: 181 - 200 /801

Computer Aided Verification

This volume contains advancement of the theory and practice of computer-assisted formal analysis methods for software and ...

Computer Aided Verification (vol. # 3576)

This volume contains the proceedings of the International Conference on Computer Aided Veri?cation (CAV), held in Edinburgh, ...

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 ...

Computer Organization and Design : The hardwrae /software interface / David A. Patterson, John L. Hennessy

Contains new examples and material highlighting the emergence of mobile computing and the cloud. It explores this generational ...

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 ...

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, ...

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 ...

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 ...

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, ...

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 ...

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 ...

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 ...

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. ...

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 ...

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 ...

Concrete bridge strengthening and repair

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

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 ...

Constructing Roma Migrants : European Narratives and Local Governance

This book presents a cross-disciplinary insight and policy analysis into the effects of European legal and political frameworks ...

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 ...

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 ...

Total Books: 181 - 200 /801