Enterprise Interoperability II
Interoperability: the ability of a system or a product to work with other systems or products without special effort from ...
اقرأ المزيد
Evolution of the Web in Artificial Intelligence Environments
The material in this book is designed to be drawn from different Web application areas so as to provide an overview of important ...
اقرأ المزيد
Evolutionary Epistemology, Language and Culture
Today we know that natural selection and evolution are far from synonymous and that they do not explain isomorphic phenomena ...
اقرأ المزيد
Existence: Semantics and Syntax
This collection is an important contribution to the semantic and syntactic analysis of the expression of existence. The volume ...
اقرأ المزيد
Extensionalism : The Revolution in Logic
This vivid and thought-provoking book by the Israeli logician Nimrod Bar-Am impels one to rethink the place of logic in Western ...
اقرأ المزيد
FM 2005: Formal Methods
This volume contains the proceedings of Formal Methods 2005, the 13th InternationalSymposiumonFormalMethodsheldinNewcastleuponTyne,UK, ...
اقرأ المزيد
Finite-State Methods and Natural Language Processing
This book constitutes the thoroughly refereed post-proceedings of the 5th International Workshop on Finite-State Methods ...
اقرأ المزيد
Forging New Frontiers: Fuzzy Pioneers II
The chapters of the book are evolved from presentations made by selected participants at the meeting and organized in two ...
اقرأ المزيد
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 Methods and Software Engineering
This book constitutes the refereed proceedings of the 9th International Conference on Formal Engineering Methods, ICFEM 2007, ...
اقرأ المزيد
Formal Methods and Software Engineering : 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings
This book constitutes the refereed proceedings of the 10th International Conference on Formal Engineering Methods, ICFEM ...
اقرأ المزيد
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 (vol. # 3535)
This volume contains the proceedings of FMOODS2005, the 7th IFIPWG6. 1 International Conference on Formal Methods for Open ...
اقرأ المزيد
Formal Methods for Open Object-Based Distributed Systems (vol. # 4037)
This book constitutes the refereed proceedings of the 8th IFIP WG 6.1 International Conference on Formal Methods for Open ...
اقرأ المزيد
Formal Methods for Open Object-Based Distributed Systems : 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings
This book constitutes the refereed proceedings of the 10th IFIP WG 6.1 International Conference on Formal Methods for Open ...
اقرأ المزيد
Formal Methods in Systems Biology : First International Workshop, FMSB 2008, Cambridge, UK, June 4-5, 2008. Proceedings
This book constitutes the refereed proceedings of the First International Workshop on Formal Methods in Systems Biology, ...
اقرأ المزيد
