Interoperability: the ability of a system or a product to work with other systems or products without special effort from ...
WeiterlesenThe material in this book is designed to be drawn from different Web application areas so as to provide an overview of important ...
WeiterlesenToday we know that natural selection and evolution are far from synonymous and that they do not explain isomorphic phenomena ...
WeiterlesenThis collection is an important contribution to the semantic and syntactic analysis of the expression of existence. The volume ...
WeiterlesenThis vivid and thought-provoking book by the Israeli logician Nimrod Bar-Am impels one to rethink the place of logic in Western ...
WeiterlesenThis volume contains the proceedings of Formal Methods 2005, the 13th InternationalSymposiumonFormalMethodsheldinNewcastleuponTyne,UK, ...
WeiterlesenThis book constitutes the thoroughly refereed post-proceedings of the 5th International Workshop on Finite-State Methods ...
WeiterlesenThe chapters of the book are evolved from presentations made by selected participants at the meeting and organized in two ...
WeiterlesenThis book constitutes the refereed proceedings of the 5th International Conference on Formal Concept Analysis, ICFCA 2007. ...
WeiterlesenThis book constitutes a comprehensive and systematic presentation of the state of the art of formal concept analysis and ...
WeiterlesenThis book constitutes the refereed proceedings of the 4th International Conference on Formal Concept Analysis, held in February ...
WeiterlesenThis book constitutes the refereed proceedings of the 9th International Conference on Formal Engineering Methods, ICFEM 2007, ...
WeiterlesenThis book constitutes the refereed proceedings of the 10th International Conference on Formal Engineering Methods, ICFEM ...
WeiterlesenThis volume contains the proceedings of the third EPEW workshop held at the Technical University of Budapest, Budapest, Hungary, ...
WeiterlesenThis book constitutes the refereed proceedings of the 4th European Performance Engineering Workshop, EPEW 2007, held in Berlin, ...
WeiterlesenThis book presents revised tutorial lectures given by invited speakers at the Third International Symposium on Formal Methods ...
WeiterlesenThis volume contains the proceedings of FMOODS2005, the 7th IFIPWG6. 1 International Conference on Formal Methods for Open ...
WeiterlesenThis book constitutes the refereed proceedings of the 8th IFIP WG 6.1 International Conference on Formal Methods for Open ...
WeiterlesenThis book constitutes the refereed proceedings of the 10th IFIP WG 6.1 International Conference on Formal Methods for Open ...
WeiterlesenThis book constitutes the refereed proceedings of the First International Workshop on Formal Methods in Systems Biology, ...
Weiterlesen