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...
獲取全文
電子 電子書