Electronic Books

Total Books: 201 - 220 /646

Field Measurements for Forest Carbon Monitoring

This volume is a comprehensive guide to the methods and techniques employed in forest carbon inventory and monitoring. Since ...

First Light in the Universe : Saas-Fee Advanced Course 36. Swiss Society for Astrophysics and Astronomy

The exploration of the first billion years of the history of the Universe, from the so-called Dark Ages to cosmic reionisation, ...

Fluid Mechanics of Flow Metering

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

Fog and Boundary Layer Clouds

The e?ect of fog on human life was recognized in the early ages of mankind but its impact has signi?cantly increased during ...

Forecasting and Assessing Risk of Individual Electricity Peaks

The overarching aim of this open access book is to present self-contained theory and algorithms for investigation and prediction ...

Forest Inventory

This book has been developed as a forest inventory textbook for students and can also serve as a handbook for practical foresters. ...

Formal Approaches to Software Testing (vol. # 3997)

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

Formal Approaches to Software Testing and Runtime Verification

Software validation is one of the most cost-intensive tasks in modern software production processes. The objective of FATES/RV ...

Formal Correctness of Security Protocols

The author investigates proofs of correctness of realistic security protocols in a formal, intuitive setting. The protocols ...

Formal Methods and Software Engineering : 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings

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

Formal Methods for Hardware Verification

This book presents 8 papers accompanying the lectures of leading researchers given at the 6th edition of the International ...

Formal Methods for Open Object-Based Distributed Systems : 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings

This book constitutes the refereed proceedings of the 10th IFIP WG 6.1 International Conference on Formal Methods for Open ...

Formalization of Banking Supervision : 19th–20th Centuries / Eiji HotoriMikael WendschlagThibaud Giddey

Elaborate the formalization phase of banking supervision in eight developed countries—USA, Japan, Sweden, Germany, Switzerland, ...

Foundations of Quantum Theory

This book studies the foundations of quantum theory through its relationship to classical physics. This idea goes back to ...

Foundations of Security Analysis and Design III

The increasing relevance of security to real-life applications, such as electronic commerce and Internet banking, is attested ...

Foundations of Software Science and Computation Structures

This volume contains the papers presented at the 21st International Conference on Foundations of Software Science and Computation ...

Fringe 2005

In 1993 new prin- ples of optical shape measurement, setup calibration, phase unwr- ping and nondestructive testing were ...

From Hahn-Banach to Monotonicity

In this new edition of LNM 1693 the essential idea is to reduce questions on monotone multifunctions to questions on convex ...

Frontiers in Materials Research

This book covers recent progress in advanced materials research as reviewed by forefront researchers in contributions which ...

Frontiers of Combining Systems

Constitutes the refereed proceedings of the 5th International Workshop on Frontiers of Combining Systems, FroCoS 2005, held ...

Total Books: 201 - 220 /646