Provides structural engineers, architects, and students with a systematic introduction to fire safety design for tall buildings ...
Lire la suite
Provides information on special topics that affect the fire safety performance of very tall buildings, their occupants and ...
Lire la suite
As a creative professional or interactive developer, you’ll be amazed at the exciting possibilities presented to you by ...
Lire la suite
The flat roof is extremely popular with architects. Its essential task is to shelter the space beneath it from the elements. ...
Lire la suite
This book addresses two major fluid mechanical problems in flow metering: the analysis of signal generation in turbulent ...
Lire la suite
Addressing students and researchers as well as CFD practitioners, this book describes the state of the art in the development ...
Lire la suite
With the second volume of Clinical Engineering, the Author intends to provide an updated scientific-didactic overview of ...
Lire la suite
This monograph is intended for wire bonding and flip-chip packaging professionals and for scientists and engineers working ...
Lire la suite
The expert witness’ job is often described as a balancing act: duty to clients on the one hand, duty to society on the ...
Lire la suite
Every plan, pro-forma, design, building contract, and construction schedule is a proposal about future places. To help improve ...
Lire la suite
Testing often accounts for more than 50% of the required e?ort during system development.Thechallengeforresearchistoreducethesecostsbyprovidingnew ...
Lire la suite
This book constitutes the thoroughly refereed post-proceedings of the 5th International Workshop on Formal Approaches to ...
Lire la suite
This paper presents a few of these, including a distributed garbage collection problem, distributed consensus problems for ...
Lire la suite
This book constitutes the refereed proceedings of the 9th International Conference on Formal Engineering Methods, ICFEM 2007, ...
Lire la suite
This book constitutes the thoroughly refereed and peer-reviewed outcome of the Formal Methods and Testing (FORTEST) network ...
Lire la suite
This book presents revised tutorial lectures given by invited speakers at the Third International Symposium on Formal Methods ...
Lire la suite
This book presents 19 revised invited keynote lectures and revised tutorial lectures given by top-researchers at the 4th ...
Lire la suite
Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design.This ...
Lire la suite
This volume presents the set of papers accompanying the lectures of the eighth International School on Formal Methods for ...
Lire la suite
This book presents 8 tutorial survey papers by leading researchers who lectured at the 5th International School on Formal ...
Lire la suite