1
Được phát hành 2005
Mục lục: ... and Logical Predicates for Computational Metalanguage -- Type Theory and Lambda Calculus -- Order Structures...
lấy văn bản
Điện tử eBook
2
Được phát hành 2010
Mục lục: ... Joins across Function Calls -- Fast Arc-Annotated Subsequence Matching in Linear Space -- Automated...
lấy văn bản
Điện tử eBook
3
Được phát hành 2006
Mục lục: ...-Balanced Semi-matchings for Weighted Bipartite Graphs -- Analyzing Chain Programs over Difference...
lấy văn bản
Điện tử eBook
4
Được phát hành 2007
Mục lục: ... Scheduling on Unrelated Machines -- Session A2 -- Estimating Sum by Weighted Sampling -- Sampling Methods...
lấy văn bản
Điện tử eBook
5
Bằng Malik, Waqar., Malik, Waqar.
Được phát hành 2015
Mục lục: .... Operators -- 7. Flow Control -- 8. Functions and Closures -- 9. Classes and Structures -- 10. Methods -- 11...
lấy văn bản
Điện tử eBook
6
Được phát hành 2008
Mục lục: ... Expensive Functions -- Discriminant Analysis Methods for Microarray Data Classification...
lấy văn bản
Điện tử eBook
7
Được phát hành 2014
Mục lục: ... Product Graphs -- Integer Programming Methods for Special College Admissions Problems -- On the Width...
lấy văn bản
Điện tử eBook
8
Được phát hành 2013
Mục lục: ....- Unambiguous Automata Denoting Finitely Sequential Functions.- Duplication-Loss Genome Alignment: Complexity...
lấy văn bản
Điện tử eBook
9
Được phát hành 2005
Mục lục: ...Invited Papers -- Methodologies for Automated Telephone Answering -- Anomaly Detection in Computer...
lấy văn bản
Điện tử eBook
10
Được phát hành 2007
Mục lục: ... Strategy with Different Multiclass Algorithms Together with Parameter Optimization Methods -- Multi-source...
lấy văn bản
Điện tử eBook