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