1
出版事項 2005
目次: ... and Logical Predicates for Computational Metalanguage -- Type Theory and Lambda Calculus -- Order Structures...
全文の入手
電子媒体 eBook
2
出版事項 2010
目次: ... XML DBMSs -- Continuous Processing of Preference Queries in Data Streams -- Clock Synchronization...
全文の入手
電子媒体 eBook
3
出版事項 2015
目次: ... using Soft Computing Methods -- A new method for the dynamic signature verification based on the stable...
全文の入手
電子媒体 eBook
4
出版事項 2007
目次: ... Scheduling on Unrelated Machines -- Session A2 -- Estimating Sum by Weighted Sampling -- Sampling Methods...
全文の入手
電子媒体 eBook
5
出版事項 2014
目次: ... Product Graphs -- Integer Programming Methods for Special College Admissions Problems -- On the Width...
全文の入手
電子媒体 eBook
6
出版事項 2005
目次: ... of Bipartite Ranking Functions -- Stability and Generalization of Bipartite Ranking Algorithms -- Loss Bounds...
全文の入手
電子媒体 eBook
7
出版事項 2005
目次: ...Invited Papers -- Methodologies for Automated Telephone Answering -- Anomaly Detection in Computer...
全文の入手
電子媒体 eBook
8
出版事項 2008
目次: ... -- Foundational Issues -- An Entity Name System (ENS) for the Semantic Web -- A Functional Semantic Web...
全文の入手
電子媒体 eBook
9
著者: Nash, Trey., Nash, Trey.
出版事項 2007
目次: ... -- Arrays, Collection Types, and Iterators -- Delegates, Anonymous Functions, and Events -- Generics...
全文の入手
電子媒体 eBook
10
著者: Nash, Trey., Nash, Trey.
出版事項 2010
目次: ... -- Arrays, Collection Types, and Iterators -- Delegates, Anonymous Functions, and Events -- Generics...
全文の入手
電子媒体 eBook
11
出版事項 2006
目次: ... for Robotic Control -- The Solution of Semi-Infinite Linear Programs Using Boosting-Like Methods -- Spectral...
全文の入手
電子媒体 eBook
12
出版事項 2007
目次: ... Functions for Learning and Clustering -- Machine Learning in Ecosystem Informatics -- Challenge for Info...
全文の入手
電子媒体 eBook