1
Veröffentlicht 2008
Inhaltsangabe: ... Recursive Programs with Exact Predicate Abstraction -- Loop Summarization Using Abstract Transformers...
Volltext
Elektronisch E-Book
2
von Barker, Philip., Barker, Philip.
Veröffentlicht 2007
Inhaltsangabe: ... Derivatives -- Conditional Options -- Complex Conditional Options -- Barrier Type Options -- Double Barrier...
Volltext
Elektronisch E-Book
3
Veröffentlicht 2007
Inhaltsangabe: ...: Verification of Multithreaded Dynamic and Recursive Programs -- Session VIII: Reactive Designs -- Anzu: A Tool...
Volltext
Elektronisch E-Book
4
Veröffentlicht 2014
Inhaltsangabe: ... Functions Defined by Generalized Ruscheweyh Derivatives Involving Fractional Differential Operator -- A New...
Volltext
Elektronisch E-Book
5
Veröffentlicht 2010
Inhaltsangabe: ... Empirical Selection of Rule Induction Methods Based on Recursive Iteration of Resampling Methods -- Web...
Volltext
Elektronisch E-Book