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