Enterprise Ontology
Such a theory and a matching methodology, which has passed the test of practical experience, constitute the contents of this ...
اقرأ المزيد
Entropy, Search, Complexity
The present volume is a collection of survey papers in the fields of entropy, search and complexity. They summarize the latest ...
اقرأ المزيد
Environments for Multi-Agent Systems II
This book constitutes the thoroughly refereed post-proceedings of the Second International Workshop on Environments for Multiagent ...
اقرأ المزيد
Evolutionary Computation in Combinatorial Optimization : 8th European Conference, EvoCOP 2008, Naples, Italy, March 26-28, 2008. Proceedings
Metaheuristics have been shown to be e?ective for di?cult combinatorial - timization problems appearing in various industrial, ...
اقرأ المزيد
Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics : 6th European Conference, EvoBIO 2008, Naples, Italy, March 26-28, 2008. Proceedings
The feld of bioinformatics has two main objectives: the creation and main- nance of biological databases, and the discovery ...
اقرأ المزيد
Experimental Algorithms
This book constitutes the refereed proceedings of the 5th International Workshop on Experimental and Efficient Algorithms, ...
اقرأ المزيد
Experimental Algorithms : 7th International Workshop, WEA 2008 Provincetown, MA, USA, May 30-June 1, 2008 Proceedings
The Workshop on Experimental Algorithms, WEA, is intended to be an international forum for research on the experimental evaluation ...
اقرأ المزيد
FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
The international conference on the Foundations of Software Technology and Theoretical Computer Science (FSTTCS) is the longest-running ...
اقرأ المزيد
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
This year marks a milestone in the history of FST&TCS, which ?rst took place in 1981. We would like to take this opportunity ...
اقرأ المزيد
FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science
This book constitutes the refereed proceedings of the 26th International Conference on the Foundations of Software Technology ...
اقرأ المزيد
FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science
This book constitutes the refereed proceedings of the 27th International Conference on the Foundations of Software Technology ...
اقرأ المزيد
Fast Software Encryption (vol. # 4047)
Fast Software Encryption (FSE) 2006 is the 13th in a series of workshops on symmetric cryptography. It has been sponsored ...
اقرأ المزيد
Fast Software Encryption : 15th International Workshop, FSE 2008, Lausanne, Switzerland, February 10-13, 2008, Revised Selected Papers
Constitutes the thoroughly refereed proceedings of the 15th International Workshop on Fast Software Encryption, FSE 2008, ...
اقرأ المزيد
Feasibility and Infeasibility in Optimization : Algorithms and Computational Methods
Feasibility and Infeasibility in Optimization is a timely expository book that summarizes the state of the art in both classical ...
اقرأ المزيد
Financial Cryptography and Data Security : 12th International Conference, FC 2008, Cozumel, Mexico, January 28-31, 2008. Revised Selected Papers
This book constitutes the thoroughly refereed post-conference proceedings of the 12th International Conference on Financial ...
اقرأ المزيد
Finite Model Theory
The book presents the main results of descriptive complexity theory, that is, the connections between axiomatizability of ...
اقرأ المزيد
Finite Model Theory
The book presents the main results of descriptive complexity theory, that is, the connections between axiomatizability of ...
اقرأ المزيد
Finite Model Theory and Its Applications
This book gives a broad overview of core topics of finite model theory: expressive power, descriptive complexity, and zero-one ...
اقرأ المزيد
Finite Model Theory and Its Applications
This book gives a broad overview of core topics of finite model theory: expressive power, descriptive complexity, and zero-one ...
اقرأ المزيد
Formal Aspects in Security and Trust (vol. # 173)
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
اقرأ المزيد
