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 ...
اقرأ المزيد
Formal Techniques for Networked and Distributed Systems – FORTE 2007
These proceedings contain papers from the 27th FORTE conference. FORTE (Formal Techniques for Networked and Distributed Systems) ...
اقرأ المزيد
Foundations of Fuzzy Logic and Soft Computing
This book comprises a selection of papers from IFSA 2007 on new methods and theories that contribute to the foundations of ...
اقرأ المزيد
Foundations of Generic Optimization
This is a comprehensive overview of the basics of fuzzy control, which also brings together some recent research results ...
اقرأ المزيد
Foundations of Generic Optimization : Volume 2: Applications of Fuzzy Control, Genetic Algorithms and Neural Networks
This is a comprehensive overview of the basics of fuzzy control, which also brings together some recent research results ...
اقرأ المزيد
Foundations of Genetic Algorithms
Readers will find here a fascinating text that is the thoroughly refereed post-proceedings of the 9th Workshop on the Foundations ...
اقرأ المزيد
Foundations of Genetic Algorithms
The8thWorkshopontheFoundationsofGeneticAlgorithms,FOGA-8,washeld at the University of Aizu in Aizu-Wakamatsu City, Japan, ...
اقرأ المزيدFoundations of Global Genetic Optimization
This book is devoted to the application of genetic algorithms in continuous global optimization. Some of their properties ...
اقرأ المزيد
Foundations of Information and Knowledge Systems : 5th International Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008. Proceedings
This book constitutes the refereed proceedings of the 5th International Symposium on Foundations of Information and Knowledge ...
اقرأ المزيد
Foundations of Intelligent Systems (vol. # 3488)
This volume contains the papers selected for presentation at the 15th International S- posiumonMethodologiesforIntelligentSystems, ...
اقرأ المزيد
Foundations of Learning Classifier Systems
This volume brings together recent theoretical work in Learning Classifier Systems (LCS), which is a Machine Learning technique ...
اقرأ المزيد
Foundations of Object-Oriented Programming Using .NET 2.0 Patterns
Foundations of Object-Oriented Programming Using .NET 2.0 Patterns solves the object-oriented and pattern-programming problem ...
اقرأ المزيد
Foundations of Software Science and Computational Structures (vol. # 3441)
ETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual ...
اقرأ المزيد
Foundations of Trusted Autonomy
This book establishes the foundations needed to realize the ultimate goals for artificial intelligence, such as autonomy ...
اقرأ المزيد
Fourth IFIP International Conference on Theoretical Computer Science - TCS 2006
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
اقرأ المزيد
