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