Gesuggereerde onderwerpen binnen jouw zoekopdracht.
Gesuggereerde onderwerpen binnen jouw zoekopdracht.
Alternatieven:
certification programming » verification programming, identification programming, certification program
parallel certification » parallel identification, parallel classification, parallel quantification
programming function » programming functional, programming functionals, programme function
function function » function functional, functions functional, function dysfunction
function https » functions https, fiction https
certification programming » verification programming, identification programming, certification program
parallel certification » parallel identification, parallel classification, parallel quantification
programming function » programming functional, programming functionals, programme function
function function » function functional, functions functional, function dysfunction
function https » functions https, fiction https
1
Gepubliceerd in 2006
Inhoudsopgave:
“...Invited Papers -- Parallel Programming and Parallel Abstractions in Fortress -- Convergence...”Volledige tekst
Elektronisch
E-boek
2
Gepubliceerd in 2006
Inhoudsopgave:
“... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”Volledige tekst
Elektronisch
E-boek
3
Gepubliceerd in 2005
Inhoudsopgave:
“...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...”Volledige tekst
Elektronisch
E-boek
4
Gepubliceerd in 2014
Inhoudsopgave:
“... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”Volledige tekst
Elektronisch
E-boek
5
Gepubliceerd in 2014
Inhoudsopgave:
“... by Phase Tracking using Bilateral Probability Function -- Electrical Network Modeling of Amino Acid String...”Volledige tekst
Elektronisch
E-boek
6
Gepubliceerd in 2014
Inhoudsopgave:
“... and Kernelization in the Parallel External Memory Model -- Capturing Bisimulation-Invariant Complexity Classes...”Volledige tekst
Elektronisch
E-boek
7
Gepubliceerd in 2014
Inhoudsopgave:
“... and Certified Linked Implementation Using Orbits -- A Verified Generate-Test-Aggregate Coq Library for Parallel...”Volledige tekst
Elektronisch
E-boek
8
Gepubliceerd in 2008
Inhoudsopgave:
“... Differentiation -- Algorithmic Differentiation of Implicit Functions and Optimal Values -- Using Programming...”Volledige tekst
Elektronisch
E-boek
9
Gepubliceerd in 2008
Inhoudsopgave:
“... Specifications for Distributed Program Synthesis -- Exact OBDD Bounds for Some Fundamental Functions...”Volledige tekst
Elektronisch
E-boek
10
Gepubliceerd in 2015
Inhoudsopgave:
“... of Spoofed IP Packets -- 11. A Queueing Model for E-Learning System -- 12. Development of Common Parallel...”Volledige tekst
Elektronisch
E-boek