Aihe-ehdotuksia
Aihe-ehdotuksia
Tarkoititko:
program function » programme function, programs functional, program foundation
https functions » status functions, its functions, sets functions
function https » functions https, fiction https
functions flow » functions low, functional flow, functions from
flow https » law https
program function » programme function, programs functional, program foundation
https functions » status functions, its functions, sets functions
function https » functions https, fiction https
functions flow » functions low, functional flow, functions from
flow https » law https
1
Julkaistu 2008
Sisällysluettelo:
“... of Lazy Functional Programs with Sparkle -- An Introduction to the Lambda Calculus -- Abstract ?-Calculus...”Hae kokoteksti
Elektroninen
E-kirja
2
Julkaistu 2005
Sisällysluettelo:
“... Functional Programming Technique for Forms in Graphical User Interfaces -- A Rational Deconstruction...”Hae kokoteksti
Elektroninen
E-kirja
3
Julkaistu 2013
Sisällysluettelo:
“... -- Optimisation of Generic Programs through Inlining -- A Type-and Control-Flow Analysis for System F...”Hae kokoteksti
Elektroninen
E-kirja
4
Julkaistu 2005
Sisällysluettelo:
“... Using Multi-View Active Appearance Models and Dynamic Programming -- SPASM: Segmentation of Sparse...”Hae kokoteksti
Elektroninen
E-kirja
5
Sisällysluettelo:
“...Part I Thermo-Responsive Hydrogel Functional Materials -- Structure-Function Relationship of Thermo...”
Hae kokoteksti
Hae kokoteksti
Elektroninen
E-kirja
6
Sisällysluettelo:
“... -- Activation detection: model free and model based methods -- Models for hemodynamic response function...”
Hae kokoteksti
Hae kokoteksti
Elektroninen
E-kirja
7
Julkaistu 2013
Sisällysluettelo:
“... Kähler manifolds -- The normalized Kähler-Ricci flow on Fano manifolds -- Bibliography....”Hae kokoteksti
Elektroninen
E-kirja
8
Julkaistu 2013
Sisällysluettelo:
“... Universal Minimal Flows of Groups of Automorphisms of Uncountable Structures (D. Bartosova...”Hae kokoteksti
Elektroninen
E-kirja
9
Tekijä Yates, Colin., Yates, Colin., Ladd, Seth., Devijver, Steven., Davison, Darren.
Julkaistu 2006
Sisällysluettelo:
“... -- Testing Spring MVC Applications -- to Spring Web Flow -- Advanced Spring Web Flow....”Julkaistu 2006
Hae kokoteksti
Elektroninen
E-kirja
10
Tekijä Deinum, Marten., Deinum, Marten., Serneels, Koen., Yates, Colin., Ladd, Seth., Vervaet, Erwin., Vanfleteren, Christophe.
Julkaistu 2012
Aiheet:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”Julkaistu 2012
Hae kokoteksti
Elektroninen
E-kirja
11
Aiheet:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Hae kokoteksti
Hae kokoteksti
Elektroninen
E-kirja
12
Tekijä Umar, Kabir, Md Sultan, Abu Bakar, Zulzalil, Hazura, Admodisastro, Novia Indriaty, Abdullah @ Selimun, Mohd Taufik
Julkaistu 2018
“... the set of fitness functions support reformulation of data dependency flow for detection of SQL Injection...”Julkaistu 2018
Hae kokoteksti
Artikkeli
13
Julkaistu 2012
Sisällysluettelo:
“... Approximation of Continuous Systems with Trapezoid Step Functions -- Signedness-Agnostic Program Analysis...”Hae kokoteksti
Elektroninen
E-kirja
14
Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part...
Julkaistu 2010
Sisällysluettelo:
“... Contract-Based Reasoning for Verification and Certification of Information Flow Properties of Programs...”Hae kokoteksti
Elektroninen
E-kirja
15
Julkaistu 2006
Sisällysluettelo:
“... for Automated Reasoning About Pointer Programs -- Bisimulations for Untyped Imperative Objects -- A Typed...”Hae kokoteksti
Elektroninen
E-kirja
16
Julkaistu 2010
Sisällysluettelo:
“... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...”Hae kokoteksti
Elektroninen
E-kirja
17
Julkaistu 2014
Sisällysluettelo:
“... Unsplittable-Flow-Covering Helps Scheduling with Job-Dependent Cost Functions -- Why Some Heaps Support...”Hae kokoteksti
Elektroninen
E-kirja
18
Julkaistu 2005
Sisällysluettelo:
“...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...”Hae kokoteksti
Elektroninen
E-kirja
19
Julkaistu 2006
Sisällysluettelo:
“... I -- Routing (Un-) Splittable Flow in Games with Player-Specific Linear Latency Functions...”Hae kokoteksti
Elektroninen
E-kirja
20
Julkaistu 2010
Sisällysluettelo:
“.... Semantics -- Game Semantics for Call-by-Value Polymorphism -- What Is a Pure Functional? -- Example-Guided...”Hae kokoteksti
Elektroninen
E-kirja