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