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