1
出版 2005
书本目录: ... and Customizable Profiling Framework for Java Based on Bytecode Instruction Counting -- Race Conditions in Message...
获取全文
电子 电子书
2
出版 2007
书本目录: ...: Verification of Multithreaded Dynamic and Recursive Programs -- Session VIII: Reactive Designs -- Anzu: A Tool...
获取全文
电子 电子书
3
出版 2006
书本目录: ... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...
获取全文
电子 电子书
4
出版 2008
书本目录: ... Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms -- Computation Tree Regular Logic...
获取全文
电子 电子书
5
书本目录: ... -- 10.1 Functions with local variables -- 10.2 Functions with conditions -- 11. Recursive functions -- 12...
获取全文
电子 电子书
6
出版 2010
书本目录: ...SVD and Neural Network Based Watermarking Scheme -- Improved Web Precision: An Interplay...
获取全文
电子 电子书
7
出版 2013
书本目录: ... Recursive Probabilistic Systems.- Recursion Schemes, Collapsible Pushdown Automata and Higher-Order Model...
获取全文
电子 电子书
8
出版 2013
书本目录: ... and Woodruff: Recursive Sketches for Frequency-Based Vectors on Streams -- Capacitated Network Design...
获取全文
电子 电子书
9
出版 2007
书本目录: ... Inference of Recursive Functions -- Inferability of Closed Set Systems from Positive Data -- An Extended...
获取全文
电子 电子书
10
出版 2007
书本目录: ... Flow Computation on 2-Riemannian Manifolds -- High Level Group Analysis of FMRI Data Based on Dirichlet...
获取全文
电子 电子书
11
出版 2010
书本目录: ... Empirical Selection of Rule Induction Methods Based on Recursive Iteration of Resampling Methods -- Web...
获取全文
电子 电子书
12
出版 2007
书本目录: ...-Based One-Class Classification -- Test-Cost Sensitive Classification Based on Conditioned Loss Functions...
获取全文
电子 电子书