Electronic Books

Total Books: 1581 - 1600 /3972

Forest Diversity and Function

One of the central research themes in ecology is evaluating the extent to which biological richness is necessary to sustain ...

Forest Ecosystems and Environments

The Global Change Impacts on Terrestrial Ecosystems in Monsoon Asia (TEMA) project was carried out as a unique contribution ...

Forest Policy Analysis

This book gives an introduction in the methodology of social sciences. It is a guideline for all those who are interested ...

Forest Restoration in Landscapes

This book integrates the restoration of forest functions into landscape conservation plans. and this book represents the ...

Forging New Frontiers: Fuzzy Pioneers I

The 2005 BISC International Special Event-BISCSE’05 " FORGING THE FRONTIERS" was held in the University of California, ...

Formal Approaches to Software Testing (vol. # 3395)

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

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 Aspects in Security and Trust (vol. # 173)

The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...

Formal Concept Analysis (vol. # 3403)

This book constitutes a comprehensive and systematic presentation of the state of the art of formal concept analysis and ...

Formal Concept Analysis (vol. # 3874)

This book constitutes the refereed proceedings of the 4th International Conference on Formal Concept Analysis, held in February ...

Formal Methods and Hybrid Real-Time Systems

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

Formal Methods and Stochastic Models for Performance Evaluation

This volume contains the proceedings of the third EPEW workshop held at the Technical University of Budapest, Budapest, Hungary, ...

Formal Methods and Stochastic Models for Performance Evaluation

This book constitutes the refereed proceedings of the 4th European Performance Engineering Workshop, EPEW 2007, held in Berlin, ...

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 ...

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 Modeling and Analysis of Timed Systems (vol. # 4202)

The aim of FORMATS is to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers ...

Formal Modelling in Electronic Commerce

Advances in automation for electronic commerce require improved understanding and formalization of the objects, processes, ...

Formal Refinement for Operating System Kernels

The purpose of this book is to show that the formal specification of kernels can be followed by a completely formal refinement ...

Formal Techniques for Computer Systems and Business Processes

This book constitutes the refereed proceedings of two colocated international workshops EPEW 2005 (European Performance Engineering ...

Formal Techniques for Networked and Distributed Systems - FORTE 2005

FORTE (Formal Techniques for Networked and Distributed Systems) 2005 was sp- sored by Working Group 6.1, Technical Committee ...

Total Books: 1581 - 1600 /3972