Flexible and Efficient Information Handling
This book constitutes the refereed proceedings of the 23rd British National Conference on Databases, BNCOD 23, held in Belfast, ...
اقرأ المزيد
Flow Shop Lot Streaming Problems
Lot streaming is a process of breaking a batch of jobs into smaller lots, and then processing these in an overlapping fashion ...
اقرأ المزيد
Fluid-Structure Interaction
Fluid-structure interactions (FSI), that is interactions of some movable or deformable structure with an internal or surrounding ...
اقرأ المزيد
Fluid-Structure Interaction
Fluid-structure interactions (FSI), that is interactions of some movable or deformable structure with an internal or surrounding ...
اقرأ المزيد
Flux-Corrected Transport
Addressing students and researchers as well as CFD practitioners, this book describes the state of the art in the development ...
اقرأ المزيد
Forecasting and Assessing Risk of Individual Electricity Peaks
The overarching aim of this open access book is to present self-contained theory and algorithms for investigation and prediction ...
اقرأ المزيد
Foreign Exchange Rate Forecasting using Artificial Neural Networks
In this monograph, the authors try to apply artificial neural networks (ANNs) to exchange rates forecasting. Selection of ...
اقرأ المزيد
Formal Concept Analysis
This book constitutes the refereed proceedings of the 5th International Conference on Formal Concept Analysis, ICFCA 2007. ...
اقرأ المزيد
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 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 ...
اقرأ المزيد
Formal Methods Applications and Technology
The workshop program included two invited talks, by Anna Slobodova from Intel on “Challenges for Formal Veri?cation in ...
اقرأ المزيد
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 Software Engineering (vol. # 3785)
This volume contains papers presented at the 7th International Conference on Formal Engineering Methods (ICFEM 2005), 1-4 ...
اقرأ المزيد
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 for Components and Objects (vol. # 3657)
This book presents revised tutorial lectures given by invited speakers at the Third International Symposium on Formal Methods ...
اقرأ المزيد
Formal Methods for Open Object-Based Distributed Systems
This book constitutes the refereed proceedings of the 9th IFIP WG 6.1 International Conference on Formal Methods for Open ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
