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