1
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
2
Publicado em 2010
Sumário: ... Joins across Function Calls -- Fast Arc-Annotated Subsequence Matching in Linear Space -- Automated...
Obter o texto integral
Recurso Eletrônico livro eletrônico
3
Publicado em 2006
Sumário: ...-Balanced Semi-matchings for Weighted Bipartite Graphs -- Analyzing Chain Programs over Difference...
Obter o texto integral
Recurso Eletrônico livro eletrô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 Eletrônico livro eletrônico
5
por Malik, Waqar., Malik, Waqar.
Publicado em 2015
Sumário: .... Operators -- 7. Flow Control -- 8. Functions and Closures -- 9. Classes and Structures -- 10. Methods -- 11...
Obter o texto integral
Recurso Eletrônico livro eletrônico
6
Publicado em 2008
Sumário: ... Expensive Functions -- Discriminant Analysis Methods for Microarray Data Classification...
Obter o texto integral
Recurso Eletrônico livro eletrônico
7
Publicado em 2014
Sumário: ... Product Graphs -- Integer Programming Methods for Special College Admissions Problems -- On the Width...
Obter o texto integral
Recurso Eletrônico livro eletrônico
8
Publicado em 2013
Sumário: ....- Unambiguous Automata Denoting Finitely Sequential Functions.- Duplication-Loss Genome Alignment: Complexity...
Obter o texto integral
Recurso Eletrônico livro eletrônico
9
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
10
Publicado em 2007
Sumário: ... Strategy with Different Multiclass Algorithms Together with Parameter Optimization Methods -- Multi-source...
Obter o texto integral
Recurso Eletrônico livro eletrônico