Composites for Building Assembly : Connections, Members and Structures / Yu Bai
Pesents buildings developed using modular assembly approaches based on lightweight and corrosion-resistant fiber reinforced ...
Lire la suite
Composites with Micro- and Nano-Structure : Computational Modeling and Experiments
The book contains atomistic and continuum numerical methods and experimental validation for composite materials reinforced ...
Lire la suite
Computational Mechanics of Composite Materials
The Engineering Materials and Processes series focuses on all forms of materials and the processes used to synthesise and ...
Lire la suite
Computer Aided Verification ; 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II
The volume cover logics, decision procedures; and solvers; numerical programs; verification; distributed systems and networks; ...
Lire la suite
Concept and Design Developments in School Improvement Research Longitudinal, Multilevel and Mixed Methods and Their Relevance for Educational Accountability
This book discusses challenges in school improvement research and different methodological approaches that have the potential ...
Lire la suite
Concise Guide to Quantum Computing
This textbook is intended for practical, laboratory sessions associated with the course of quantum computing and quantum ...
Lire la suite
Constructing Correct Software
Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. ...
Lire la suiteConstructing Correct Software
Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. ...
Lire la suiteConstructing Correct Software
Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. ...
Lire la suite
Constructing Correct Software
Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. ...
Lire la suite
Constructing Correct Software
Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. ...
Lire la suite
Construction of Global Lyapunov Functions Using Radial Basis Functions
In this volume, the basin of attraction of an equilibrium of an ordinary differential equation can be determined using a ...
Lire la suiteContrast Agent and Nephropathy / Razan Al-karmi ; Nisrin Al-kattan ; Falak Mkhlalati ; Maria Al-zaeem
Diagnostic tests such as MRIs (magnetic resonance imaging), CT (Computed tomography) scans and angiograms are routinely used ...
Lire la suite
Controversies in Treating Diabetes : Clinical and Research Aspects
Controversies in Treating Diabetes: Clinical and Research Aspects covers commonly accepted forms of therapies and complications, ...
Lire la suite
Cooperation in Primates and Humans
Cooperative behavior has been one of the enigmas of evolutionary theory since the days of Darwin. The contributions to this ...
Lire la suite
Cooperative Bug Isolation
Efforts to understand and predict the behavior of software date back to the earliest days of computer programming,over half ...
Lire la suite
Cooperative Bug Isolation
Efforts to understand and predict the behavior of software date back to the earliest days of computer programming,over half ...
Lire la suite
Coronary Heart Disease in Clinical Practice
The broad coverage of this book includes chapters on all aspects of modern coronary heart disease practice, including cardiac ...
Lire la suite
Corporate Sustainability Management in the Energy Sector
Corporate social responsibility, sustainability, and citizenship are terms that often evoke considerable scepticism and cynicism, ...
Lire la suite
Craniofacial and Dental Developmental Defects : Diagnosis and Management / J Timothy Wright (eds.)
Provides the practitioner with a framework for establishing a diagnosis and developing a suitable treatment plan in patients ...
Lire la suite
