1
منشور في 2008
جدول المحتويات: ... Recursive Programs with Exact Predicate Abstraction -- Loop Summarization Using Abstract Transformers...
احصل على النص الكامل
الكتروني كتاب الكتروني
2
بواسطة Hazrat, Roozbeh., Hazrat, Roozbeh.
منشور في 2010
جدول المحتويات: ... -- 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...
احصل على النص الكامل
الكتروني كتاب الكتروني