Electronic Books

Total Books: 921 - 940 /2348
9780367444525
Fire Safety Design for Tall Buildings / Feng Fu

Provides structural engineers, architects, and students with a systematic introduction to fire safety design for tall buildings ...

Continue reading
978-3-030-79014-1
Fire Safety for Very Tall Buildings : Engineering Guide / International Code Council

Provides information on special topics that affect the fire safety performance of very tall buildings, their occupants and ...

Continue reading
978-1-4302-0102-1
Flash 8 Essentials

As a creative professional or interactive developer, you’ll be amazed at the exciting possibilities presented to you by ...

Continue reading
9783038213536
Flat Roof Construction Manual: Materials, Design, Applications / Klaus Sedlbauer, Eberhard Schunck, Rainer Barthel, Hartwig M. Kunzel

The flat roof is extremely popular with architects. Its essential task is to shelter the space beneath it from the elements. ...

Continue reading
978-3-540-26725-6
Fluid Mechanics of Flow Metering

This book addresses two major fluid mechanical problems in flow metering: the analysis of signal generation in turbulent ...

Continue reading
978-3-540-27206-9
Flux-Corrected Transport

Addressing students and researchers as well as CFD practitioners, this book describes the state of the art in the development ...

Continue reading
978-88-470-0739-0
Fondamenti di Ingegneria Clinica : Volume 2 Ecotomografia = Fundamentals of Clinical Engineering: Volume 2 Ultrasound

With the second volume of Clinical Engineering, the Author intends to provide an updated scientific-didactic overview of ...

Continue reading
978-3-540-26945-8
Force Sensors for Microelectronic Packaging Applications

This monograph is intended for wire bonding and flip-chip packaging professionals and for scientists and engineers working ...

Continue reading
978-0-387-35383-8
Forensic Ethics and the Expert Witness

The expert witness’ job is often described as a balancing act: duty to clients on the one hand, duty to society on the ...

Continue reading
9781032148168
Foresight and Design : Composing Future Places / Mark C. Childs

Every plan, pro-forma, design, building contract, and construction schedule is a proposal about future places. To help improve ...

Continue reading
978-3-540-31848-4
Formal Approaches to Software Testing (vol. # 3395)

Testing often accounts for more than 50% of the required e?ort during system development.Thechallengeforresearchistoreducethesecostsbyprovidingnew ...

Continue reading
978-3-540-34455-1
Formal Approaches to Software Testing (vol. # 3997)

This book constitutes the thoroughly refereed post-proceedings of the 5th International Workshop on Formal Approaches to ...

Continue reading
978-3-540-75221-9
Formal Methods and Hybrid Real-Time Systems

This paper presents a few of these, including a distributed garbage collection problem, distributed consensus problems for ...

Continue reading
978-3-540-76650-6
Formal Methods and Software Engineering

This book constitutes the refereed proceedings of the 9th International Conference on Formal Engineering Methods, ICFEM 2007, ...

Continue reading
978-3-540-78917-8
Formal Methods and Testing : An Outcome of the FORTEST Network, Revised Selected Papers

This book constitutes the thoroughly refereed and peer-reviewed outcome of the Formal Methods and Testing (FORTEST) network ...

Continue reading
978-3-540-31939-9
Formal Methods for Components and Objects (vol. # 3657)

This book presents revised tutorial lectures given by invited speakers at the Third International Symposium on Formal Methods ...

Continue reading
978-3-540-36750-5
Formal Methods for Components and Objects (vol. # 4111)

This book presents 19 revised invited keynote lectures and revised tutorial lectures given by top-researchers at the 4th ...

Continue reading
978-3-540-92188-2
Formal Methods for Components and Objects : 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures

Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design.This ...

Continue reading
978-3-540-68894-5
Formal Methods for Computational Systems Biology : 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures

This volume presents the set of papers accompanying the lectures of the eighth International School on Formal Methods for ...

Continue reading
978-3-540-32021-0
Formal Methods for Mobile Computing

This book presents 8 tutorial survey papers by leading researchers who lectured at the 5th International School on Formal ...

Continue reading
Total Books: 921 - 940 /2348