Deforestation and forest degradation have continued over a long period of time, and the deterioration of forest environment ...
Weiterlesen
Forest Landscape Ecology: Transferring Knowledge to Practice is the first book to introduce landscape ecologists to the discipline ...
Weiterlesen
This book brings together information on road planning, location, design, construction and maintenance to support environmentally ...
Weiterlesen
The book will provide a valuable resource for both forestry professionals – particularly those in managerial positions ...
Weiterlesen
Form-based applications range from simple web shops to complex enterprise resource planning systems. Draheim and Weber adapt ...
Weiterlesen
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
Weiterlesen
This book constitutes the thoroughly refereed post-proceedings of the Third International Workshop on Formal Aspects in Security ...
Weiterlesen
This book constitutes the refereed proceedings of the 5th International Conference on Formal Concept Analysis, ICFCA 2007. ...
Weiterlesen
This book constitutes a comprehensive and systematic presentation of the state of the art of formal concept analysis and ...
Weiterlesen
This book constitutes the refereed proceedings of the 4th International Conference on Formal Concept Analysis, held in February ...
Weiterlesen
Formal Concept Analysis (FCA) is a mathematical theory of concepts and c- ceptual hierarchyleadingto methods for conceptually ...
Weiterlesen
This book constitutes the refereed proceedings of the 9th International Conference on Formal Engineering Methods, ICFEM 2007, ...
Weiterlesen
This volume contains papers presented at the 7th International Conference on Formal Engineering Methods (ICFEM 2005), 1-4 ...
Weiterlesen
This volume contains the proceedings of the third EPEW workshop held at the Technical University of Budapest, Budapest, Hungary, ...
Weiterlesen
This book constitutes the refereed proceedings of the 9th IFIP WG 6.1 International Conference on Formal Methods for Open ...
Weiterlesen
This book constitutes the refereed proceedings of the 8th IFIP WG 6.1 International Conference on Formal Methods for Open ...
Weiterlesen
This book constitutes the refereed proceedings of the First International Workshop on Formal Methods in Systems Biology, ...
Weiterlesen
This book constitutes the refereed proceedings of two colocated international workshops EPEW 2005 (European Performance Engineering ...
Weiterlesen
This book constitutes the refereed proceedings of the 26th IFIP WG 6.1 International Conference on Formal Techniques for ...
Weiterlesen
These proceedings contain papers from the 27th FORTE conference. FORTE (Formal Techniques for Networked and Distributed Systems) ...
Weiterlesen