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