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 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 Components and Objects (vol. # 4111)
This book presents 19 revised invited keynote lectures and revised tutorial lectures given by top-researchers at the 4th ...
اقرأ المزيد
Formal Methods for Computational Systems Biology : 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures
This volume presents the set of papers accompanying the lectures of the eighth International School on Formal Methods for ...
اقرأ المزيد
Formal Methods for Hardware Verification
This book presents 8 papers accompanying the lectures of leading researchers given at the 6th edition of the International ...
اقرأ المزيد
Formal Methods for Mobile Computing
This book presents 8 tutorial survey papers by leading researchers who lectured at the 5th International School on Formal ...
اقرأ المزيد
Formal Methods for Open Object-Based Distributed Systems (vol. # 3535)
This volume contains the proceedings of FMOODS2005, the 7th IFIPWG6. 1 International Conference on Formal Methods for Open ...
اقرأ المزيد
Formal Methods for Performance Evaluation
This book presents a set of 11 papers accompanying the lectures of leading researchers given at the 7th edition of the International ...
اقرأ المزيد
Formal Methods in Software and Systems Modeling
By presenting state-of-the-art research results on various aspects of formal and visual modeling of software and systems, ...
اقرأ المزيد
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 ...
اقرأ المزيد
Formation and Early Growth of Business Webs
Networks of firms have been in the focus of management research for several years. Recently, special attention has been paid ...
اقرأ المزيد
Forming the Mind
The book collects essays from some of the foremost scholars in a relatively new and very promising field of research. It ...
اقرأ المزيدForms of List-Making : Epistemic, Literary, and Visual Enumeration
This book attempts to show that an examination of the list’s formal features has the potential to produce genuine insights ...
اقرأ المزيد
Formulas, Ingredients and Production of Cosmetics Technology of Skin- and Hair-Care Products in Japan / Hiroshi Iwata, Kunio Shimada
Provides the comprehensive knowledge and instruction necessary for researchers to design and create cosmetics products. The ...
اقرأ المزيد
Forward-Backward Stochastic Differential Equations and their Applications
This volume is a survey/monograph on the recently developed theory of forward-backward stochastic differential equations ...
اقرأ المزيد
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 ...
اقرأ المزيد
Foundations and Novel Approaches in Data Mining
Data-mining has become a popular research topic in recent years for the treatment of the "data rich and information poor” ...
اقرأ المزيد
Foundations in Microeconomic Theory
What a wonderful occasion it is to be celebrating 65 years of Hugo Sonnenschein! Given his many contributions to economic ...
اقرأ المزيد
Foundations of Augmented Cognition
These papers address the latest research and development efforts and highlight the human aspects of design and use of computing ...
اقرأ المزيد
