1
出版 2008
书本目录: ...-Way Function Based on an Average-Case Assumption -- On Characteristic Constants of Theories Defined...
获取全文
电子 电子书
2
出版 2010
书本目录: ... Approach to Learning from Data with Imprecise Labels -- A K-Nearest Neighbours Method Based on Lower...
获取全文
电子 电子书
3
出版 2010
书本目录: ..., Probabilistic, and Stochastic Processes -- Toward a Game-Theoretic Model of Grid Systems -- Functions...
获取全文
电子 电子书
4
出版 2013
书本目录: ... the Recursive Method -- Boolean Language Operations on Nondeterministic Automata with a Pushdown of Constant...
获取全文
电子 电子书
5
出版 2008
书本目录: ...-Service Construction -- Applications of Formal Approaches to Service-Oriented Computing -- A Use-Case...
获取全文
电子 电子书
6
出版 2008
书本目录: ... Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms -- Computation Tree Regular Logic...
获取全文
电子 电子书
7
出版 2005
书本目录: ...KEYNOTE SPEECHES -- Ranking Abstraction as Companion to Predicate Abstraction -- Developing High...
获取全文
电子 电子书
8
出版 2005
书本目录: ... -- Periodicity-Based Temporal Constraints -- A Survey of Problem Difficulty in Genetic Programming -- Intelligent...
获取全文
电子 电子书
9
出版 2008
书本目录: ... -- A Graph Based Method for Building Multilingual Weakly Supervised Dependency Parsers -- A Web-Based...
获取全文
电子 电子书
10
出版 2006
书本目录: ... Time-Series Data Mining Environment Based on Temporal Pattern Extraction Methods: A Case Study...
获取全文
电子 电子书
11
出版 2006
书本目录: ... Complex Connectivity? -- Theoretical and Logical Methods -- The Predicate-Minimizing Logic MIN -- Strong...
获取全文
电子 电子书
12
出版 2005
书本目录: ... Regulator for Power Systems -- EEG Source Localization for Two Dipoles in the Brain Using a Combined Method...
获取全文
电子 电子书