Electronic Books

Total Books: 161 - 180 /478

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

Total Books: 161 - 180 /478