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 ...
Weiterlesen
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 ...
Weiterlesen
Computational Mechanics of Composite Materials
The Engineering Materials and Processes series focuses on all forms of materials and the processes used to synthesise and ...
Weiterlesen
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; ...
Weiterlesen
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 ...
Weiterlesen
Concise Guide to Quantum Computing
This textbook is intended for practical, laboratory sessions associated with the course of quantum computing and quantum ...
Weiterlesen
Constructing Correct Software
Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. ...
WeiterlesenConstructing Correct Software
Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. ...
WeiterlesenConstructing Correct Software
Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. ...
Weiterlesen
Constructing Correct Software
Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. ...
Weiterlesen
Constructing Correct Software
Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. ...
Weiterlesen
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 ...
WeiterlesenContrast 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 ...
Weiterlesen
Controversies in Treating Diabetes : Clinical and Research Aspects
Controversies in Treating Diabetes: Clinical and Research Aspects covers commonly accepted forms of therapies and complications, ...
Weiterlesen
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 ...
Weiterlesen
Cooperative Bug Isolation
Efforts to understand and predict the behavior of software date back to the earliest days of computer programming,over half ...
Weiterlesen
Cooperative Bug Isolation
Efforts to understand and predict the behavior of software date back to the earliest days of computer programming,over half ...
Weiterlesen
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 ...
Weiterlesen
Corporate Sustainability Management in the Energy Sector
Corporate social responsibility, sustainability, and citizenship are terms that often evoke considerable scepticism and cynicism, ...
Weiterlesen
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 ...
Weiterlesen
