Electronic Books

Total Books: 961 - 980 /2123

Fleet Telematics

FLEET TELEMATICS: Real-Time Management and Planning of Commercial Vehicle Operations combines wireless telematics systems ...

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

Total Books: 961 - 980 /2123