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