1
Опубликовано 2005
Оглавление: ... and Logical Predicates for Computational Metalanguage -- Type Theory and Lambda Calculus -- Order Structures...
Полный текст
Электронный ресурс eКнига
2
Опубликовано 2010
Оглавление: ... Joins across Function Calls -- Fast Arc-Annotated Subsequence Matching in Linear Space -- Automated...
Полный текст
Электронный ресурс eКнига
3
Опубликовано 2006
Оглавление: ...-Balanced Semi-matchings for Weighted Bipartite Graphs -- Analyzing Chain Programs over Difference...
Полный текст
Электронный ресурс eКнига
4
Опубликовано 2007
Оглавление: ... Scheduling on Unrelated Machines -- Session A2 -- Estimating Sum by Weighted Sampling -- Sampling Methods...
Полный текст
Электронный ресурс eКнига
5
по Malik, Waqar., Malik, Waqar.
Опубликовано 2015
Оглавление: .... Operators -- 7. Flow Control -- 8. Functions and Closures -- 9. Classes and Structures -- 10. Methods -- 11...
Полный текст
Электронный ресурс eКнига
6
Опубликовано 2008
Оглавление: ... Expensive Functions -- Discriminant Analysis Methods for Microarray Data Classification...
Полный текст
Электронный ресурс eКнига
7
Опубликовано 2014
Оглавление: ... Product Graphs -- Integer Programming Methods for Special College Admissions Problems -- On the Width...
Полный текст
Электронный ресурс eКнига
8
Опубликовано 2013
Оглавление: ....- Unambiguous Automata Denoting Finitely Sequential Functions.- Duplication-Loss Genome Alignment: Complexity...
Полный текст
Электронный ресурс eКнига
9
Опубликовано 2005
Оглавление: ...Invited Papers -- Methodologies for Automated Telephone Answering -- Anomaly Detection in Computer...
Полный текст
Электронный ресурс eКнига
10
Опубликовано 2007
Оглавление: ... Strategy with Different Multiclass Algorithms Together with Parameter Optimization Methods -- Multi-source...
Полный текст
Электронный ресурс eКнига