1
出版 2008
书本目录: ... Recursive Programs with Exact Predicate Abstraction -- Loop Summarization Using Abstract Transformers...
获取全文
电子 电子书
2
书本目录: ... -- 10.1 Functions with local variables -- 10.2 Functions with conditions -- 11. Recursive functions -- 12...
获取全文
电子 电子书
3
出版 2010
书本目录: ... Theory in Face Biometrics -- Substitution-Diffusion Based Image Cipher Using Chaotic Standard Map and 3D...
获取全文
电子 电子书
4
出版 2007
书本目录: ...: Verification of Multithreaded Dynamic and Recursive Programs -- Session VIII: Reactive Designs -- Anzu: A Tool...
获取全文
电子 电子书
5
出版 2010
书本目录: ... Empirical Selection of Rule Induction Methods Based on Recursive Iteration of Resampling Methods -- Web...
获取全文
电子 电子书