Hakutulokset - functions conditional ((programming recursion) OR (programming defining)) based tools*

Tarkoititko:
functions conditional » functions functional , functional conditioning , functions computational
programming recursion » programming decision , programming session , programming decisions
programming defining » programming designing , programming learning , programming reasoning
based tools » based tool , basic tools

Automated Technology for Verification and Analysis 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings /

Julkaistu 2008

Sisällysluettelo: “... Recursive Programs with Exact Predicate Abstraction -- Loop Summarization Using Abstract Transformers...”
Hae kokoteksti

Elektroninen E-kirja

Java Methods for Financial Engineering Applications in Finance and Investment /

Tekijä Barker, Philip., Barker, Philip.
Julkaistu 2007

Sisällysluettelo: “... Derivatives -- Conditional Options -- Complex Conditional Options -- Barrier Type Options -- Double Barrier...”
Hae kokoteksti

Elektroninen E-kirja

Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings /

Julkaistu 2007

Sisällysluettelo: “...: Verification of Multithreaded Dynamic and Recursive Programs -- Session VIII: Reactive Designs -- Anzu: A Tool...”
Hae kokoteksti

Elektroninen E-kirja

Proceedings of the Second International Conference on Soft Computing for Problem Solving (SocProS 2012), December 28-30, 2012

Julkaistu 2014

Sisällysluettelo: “... Functions Defined by Generalized Ruscheweyh Derivatives Involving Fractional Differential Operator -- A New...”
Hae kokoteksti

Elektroninen E-kirja

Intelligent Information Processing V 6th IFIP TC 12 International Conference, IIP 2010, Manchester, UK, October 13-16, 2010, Proceedings /

Julkaistu 2010

Sisällysluettelo: “... Empirical Selection of Rule Induction Methods Based on Recursive Iteration of Resampling Methods -- Web...”
Hae kokoteksti

Elektroninen E-kirja

Rajaa hakua