1
出版 2008
书本目录: ... Recursive Programs with Exact Predicate Abstraction -- Loop Summarization Using Abstract Transformers...
获取全文
电子 电子书
2
Barker, Philip., Barker, Philip.
出版 2007
书本目录: ... Derivatives -- Conditional Options -- Complex Conditional Options -- Barrier Type Options -- Double Barrier...
获取全文
电子 电子书
3
出版 2007
书本目录: ...: Verification of Multithreaded Dynamic and Recursive Programs -- Session VIII: Reactive Designs -- Anzu: A Tool...
获取全文
电子 电子书
4
出版 2014
书本目录: ... Functions Defined by Generalized Ruscheweyh Derivatives Involving Fractional Differential Operator -- A New...
获取全文
电子 电子书
5
出版 2010
书本目录: ... Empirical Selection of Rule Induction Methods Based on Recursive Iteration of Resampling Methods -- Web...
获取全文
电子 电子书