Electronic Books

Total Books: 1261 - 1280 /3566

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Total Books: 1261 - 1280 /3566