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