1
Publicado 2005
Tabla de Contenidos: ... and Logical Predicates for Computational Metalanguage -- Type Theory and Lambda Calculus -- Order Structures...
Enlace del recurso
Electrónico eBook
2
Publicado 2010
Tabla de Contenidos: ... Joins across Function Calls -- Fast Arc-Annotated Subsequence Matching in Linear Space -- Automated...
Enlace del recurso
Electrónico eBook
3
Publicado 2006
Tabla de Contenidos: ...-Balanced Semi-matchings for Weighted Bipartite Graphs -- Analyzing Chain Programs over Difference...
Enlace del recurso
Electrónico eBook
4
Publicado 2007
Tabla de Contenidos: ... Scheduling on Unrelated Machines -- Session A2 -- Estimating Sum by Weighted Sampling -- Sampling Methods...
Enlace del recurso
Electrónico eBook
5
por Malik, Waqar., Malik, Waqar.
Publicado 2015
Tabla de Contenidos: .... Operators -- 7. Flow Control -- 8. Functions and Closures -- 9. Classes and Structures -- 10. Methods -- 11...
Enlace del recurso
Electrónico eBook
6
Publicado 2008
Tabla de Contenidos: ... Expensive Functions -- Discriminant Analysis Methods for Microarray Data Classification...
Enlace del recurso
Electrónico eBook
7
Publicado 2014
Tabla de Contenidos: ... Product Graphs -- Integer Programming Methods for Special College Admissions Problems -- On the Width...
Enlace del recurso
Electrónico eBook
8
Publicado 2013
Tabla de Contenidos: ....- Unambiguous Automata Denoting Finitely Sequential Functions.- Duplication-Loss Genome Alignment: Complexity...
Enlace del recurso
Electrónico eBook
9
Publicado 2005
Tabla de Contenidos: ...Invited Papers -- Methodologies for Automated Telephone Answering -- Anomaly Detection in Computer...
Enlace del recurso
Electrónico eBook
10
Publicado 2007
Tabla de Contenidos: ... Strategy with Different Multiclass Algorithms Together with Parameter Optimization Methods -- Multi-source...
Enlace del recurso
Electrónico eBook