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