1
Published 2010
Table of Contents: ... Edge-Disjoint Paths in Eulerian Networks -- R-Programs: A Framework for Distributing XML Structural...
View full text
Electronic eBook
2
Published 2005
Table of Contents: ... and Logical Predicates for Computational Metalanguage -- Type Theory and Lambda Calculus -- Order Structures...
View full text
Electronic eBook
3
Published 2006
Table of Contents: ... and Structures -- Prefix-Like Complexities and Computability in the Limit -- Partial Continuous Functions...
View full text
Electronic eBook
4
Published 2015
Table of Contents: ... using Soft Computing Methods -- A new method for the dynamic signature verification based on the stable...
View full text
Electronic eBook
5
Published 2005
Table of Contents: ...Invited Papers -- Methodologies for Automated Telephone Answering -- Anomaly Detection in Computer...
View full text
Electronic eBook
6
Published 2008
Table of Contents: ... for Semantic Web Reasoning -- A Core Ontology for Business Process Analysis -- Applications -- Assisting...
View full text
Electronic eBook