1
Publicado em 2010
Sumário: ... Edge-Disjoint Paths in Eulerian Networks -- R-Programs: A Framework for Distributing XML Structural...
Obter o texto integral
Recurso Eletrônico livro eletrônico
2
Publicado em 2005
Sumário: ... and Logical Predicates for Computational Metalanguage -- Type Theory and Lambda Calculus -- Order Structures...
Obter o texto integral
Recurso Eletrônico livro eletrônico
3
Publicado em 2006
Sumário: ... and Structures -- Prefix-Like Complexities and Computability in the Limit -- Partial Continuous Functions...
Obter o texto integral
Recurso Eletrônico livro eletrônico
4
Publicado em 2015
Sumário: ... using Soft Computing Methods -- A new method for the dynamic signature verification based on the stable...
Obter o texto integral
Recurso Eletrônico livro eletrônico
5
Publicado em 2005
Sumário: ...Invited Papers -- Methodologies for Automated Telephone Answering -- Anomaly Detection in Computer...
Obter o texto integral
Recurso Eletrônico livro eletrônico
6
Publicado em 2008
Sumário: ... for Semantic Web Reasoning -- A Core Ontology for Business Process Analysis -- Applications -- Assisting...
Obter o texto integral
Recurso Eletrônico livro eletrônico