Aihe-ehdotuksia
Aihe-ehdotuksia
Tarkoititko:
conditional programming » additional programming, functional programming, nutritional programming
functions conditional » functions functional, functional conditioning, functions computational
programming recursion » programming decision, programming session, programming decisions
recursion based » recursion case, reception based, recursion focused
based task » based test
conditional programming » additional programming, functional programming, nutritional programming
functions conditional » functions functional, functional conditioning, functions computational
programming recursion » programming decision, programming session, programming decisions
recursion based » recursion case, reception based, recursion focused
based task » based test
1
Julkaistu 2005
Sisällysluettelo:
“...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...”Hae kokoteksti
Elektroninen
E-kirja
2
Julkaistu 2008
Sisällysluettelo:
“... Recursive Programs with Exact Predicate Abstraction -- Loop Summarization Using Abstract Transformers...”Hae kokoteksti
Elektroninen
E-kirja
3
Julkaistu 2007
Sisällysluettelo:
“...: Verification of Multithreaded Dynamic and Recursive Programs -- Session VIII: Reactive Designs -- Anzu: A Tool...”Hae kokoteksti
Elektroninen
E-kirja
4
Julkaistu 2013
Sisällysluettelo:
“... Recursive Probabilistic Systems.- Recursion Schemes, Collapsible Pushdown Automata and Higher-Order Model...”Hae kokoteksti
Elektroninen
E-kirja
5
Julkaistu 2007
Sisällysluettelo:
“... Inference of Recursive Functions -- Inferability of Closed Set Systems from Positive Data -- An Extended...”Hae kokoteksti
Elektroninen
E-kirja
6
Julkaistu 2007
Sisällysluettelo:
“...-Based One-Class Classification -- Test-Cost Sensitive Classification Based on Conditioned Loss Functions...”Hae kokoteksti
Elektroninen
E-kirja