Electronic Books

Total Books: 201 - 220 /646

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Total Books: 201 - 220 /646