1
Foilsithe 2008
Clár Ábhair: ... Recursive Programs with Exact Predicate Abstraction -- Loop Summarization Using Abstract Transformers...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
2
le Barker, Philip., Barker, Philip.
Foilsithe 2007
Clár Ábhair: ... Derivatives -- Conditional Options -- Complex Conditional Options -- Barrier Type Options -- Double Barrier...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
3
Foilsithe 2007
Clár Ábhair: ...: Verification of Multithreaded Dynamic and Recursive Programs -- Session VIII: Reactive Designs -- Anzu: A Tool...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
4
Foilsithe 2014
Clár Ábhair: ... Functions Defined by Generalized Ruscheweyh Derivatives Involving Fractional Differential Operator -- A New...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
5
Foilsithe 2010
Clár Ábhair: ... Empirical Selection of Rule Induction Methods Based on Recursive Iteration of Resampling Methods -- Web...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar