Electronic Books

Total Books: 1261 - 1280 /3566
Forest Road Operations in the Tropics

This book brings together information on road planning, location, design, construction and maintenance to support environmentally ...

Lire la suite
Forest Strategy

The book will provide a valuable resource for both forestry professionals – particularly those in managerial positions ...

Lire la suite
Forest Trees

Genome Mapping and Molecular Breeding in Plants presents the current status of the elucidation and improvement of plant genomes ...

Lire la suite
Forest and Rangeland Soils of the United States Under Changing Conditions A Comprehensive Science Synthesis

This book synthesizes leading-edge science and management information about forest and rangeland soils of the United States. ...

Lire la suite
Form-Oriented Analysis

Form-based applications range from simple web shops to complex enterprise resource planning systems. Draheim and Weber adapt ...

Lire la suite
Formal Approaches to Agent-Based Systems

The 3rd Workshop on Formal Approaches to Agent-Based Systems (FAABS-III) was held at the Greenbelt Marriott Hotel (near NASA ...

Lire la suite
Formal Approaches to Software Testing (vol. # 3997)

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

Lire la suite
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 ...

Lire la suite
Formal Concept Analysis : 6th International Conference, ICFCA 2008, Montreal, Canada, February 25-28, 2008. Proceedings

Formal Concept Analysis (FCA) is a mathematical theory of concepts and c- ceptual hierarchyleadingto methods for conceptually ...

Lire la suite
Formal Methods for Open Object-Based Distributed Systems (vol. # 4037)

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

Lire la suite
Formal Modeling and Analysis of Timed Systems

This volume consists of the proceedings of the Fifth International Conference on Formal Modelling and Analysis of Timed Systems ...

Lire la suite
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 ...

Lire la suite
Formal Models of Operating System Kernels

The purpose of this book is to show that the formal specification of kernels is not only possible but also necessary if operating ...

Lire la suite
NoIMG
Formalizing the Shadow Economy in Serbia : Policy Measures and Growth Effects

The main objective of this book is to develop a strategy and policy measures to enhance the formalization of the shadow economy ...

Lire la suite
Foundations and Advances in Data Mining

In this carefully edited volume a theoretical foundation as well as important new directions for data-mining research are ...

Lire la suite
Foundations of Genetic Algorithms

The8thWorkshopontheFoundationsofGeneticAlgorithms,FOGA-8,washeld at the University of Aizu in Aizu-Wakamatsu City, Japan, ...

Lire la suite
Foundations of Intelligent Systems

This volume contains the papers selected for presentation at the 13th International Symposium on Methodologies for Intelligent ...

Lire la suite
Foundations of Intelligent Systems (vol. # 4203)

This book constitutes the refereed proceedings of the 16th International Symposium on Methodologies for Intelligent Systems, ...

Lire la suite
Foundations of Microsoft® Expression Web

Expression Web, one of the excellent programs within the suite, is a powerful web site creation tool that allows you to rapidly ...

Lire la suite
Foundations of Software Science and Computation Structures

This book constitutes the proceedings of the 22nd International Conference on Foundations of Software Science and Computational ...

Lire la suite
Total Books: 1261 - 1280 /3566