1
Publicado em 2005
Sumário: ... and Logical Predicates for Computational Metalanguage -- Type Theory and Lambda Calculus -- Order Structures...
Obter o texto integral
Recurso Electrónico livro electrónico
2
Publicado em 2010
Sumário: ... XML DBMSs -- Continuous Processing of Preference Queries in Data Streams -- Clock Synchronization...
Obter o texto integral
Recurso Electrónico livro electrónico
3
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 Electrónico livro electrónico
4
Publicado em 2007
Sumário: ... Scheduling on Unrelated Machines -- Session A2 -- Estimating Sum by Weighted Sampling -- Sampling Methods...
Obter o texto integral
Recurso Electrónico livro electrónico
5
Publicado em 2014
Sumário: ... Product Graphs -- Integer Programming Methods for Special College Admissions Problems -- On the Width...
Obter o texto integral
Recurso Electrónico livro electrónico
6
Publicado em 2005
Sumário: ... of Bipartite Ranking Functions -- Stability and Generalization of Bipartite Ranking Algorithms -- Loss Bounds...
Obter o texto integral
Recurso Electrónico livro electrónico
7
Publicado em 2005
Sumário: ...Invited Papers -- Methodologies for Automated Telephone Answering -- Anomaly Detection in Computer...
Obter o texto integral
Recurso Electrónico livro electrónico
8
Publicado em 2008
Sumário: ... -- Foundational Issues -- An Entity Name System (ENS) for the Semantic Web -- A Functional Semantic Web...
Obter o texto integral
Recurso Electrónico livro electrónico
9
Por Nash, Trey., Nash, Trey.
Publicado em 2007
Sumário: ... -- Arrays, Collection Types, and Iterators -- Delegates, Anonymous Functions, and Events -- Generics...
Obter o texto integral
Recurso Electrónico livro electrónico
10
Por Nash, Trey., Nash, Trey.
Publicado em 2010
Sumário: ... -- Arrays, Collection Types, and Iterators -- Delegates, Anonymous Functions, and Events -- Generics...
Obter o texto integral
Recurso Electrónico livro electrónico
11
Publicado em 2006
Sumário: ... for Robotic Control -- The Solution of Semi-Infinite Linear Programs Using Boosting-Like Methods -- Spectral...
Obter o texto integral
Recurso Electrónico livro electrónico
12
Publicado em 2007
Sumário: ... Functions for Learning and Clustering -- Machine Learning in Ecosystem Informatics -- Challenge for Info...
Obter o texto integral
Recurso Electrónico livro electrónico