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