1
Publicado em 2008
Sumário: ... Recursive Programs with Exact Predicate Abstraction -- Loop Summarization Using Abstract Transformers...
Obter o texto integral
Recurso Electrónico livro electrónico
2
Por Barker, Philip., Barker, Philip.
Publicado em 2007
Sumário: ... Derivatives -- Conditional Options -- Complex Conditional Options -- Barrier Type Options -- Double Barrier...
Obter o texto integral
Recurso Electrónico livro electrónico
3
Publicado em 2007
Sumário: ...: Verification of Multithreaded Dynamic and Recursive Programs -- Session VIII: Reactive Designs -- Anzu: A Tool...
Obter o texto integral
Recurso Electrónico livro electrónico
4
Publicado em 2014
Sumário: ... Functions Defined by Generalized Ruscheweyh Derivatives Involving Fractional Differential Operator -- A New...
Obter o texto integral
Recurso Electrónico livro electrónico
5
Publicado em 2010
Sumário: ... Empirical Selection of Rule Induction Methods Based on Recursive Iteration of Resampling Methods -- Web...
Obter o texto integral
Recurso Electrónico livro electrónico