Προτεινόμενα θέματα σχετικά με την αναζήτησή σας.
Προτεινόμενα θέματα σχετικά με την αναζήτησή σας.
Εναλλακτικές αναζητήσεις:
certification programming » verification programming, identification programming, certification program
programming functionals » programming functional, programming function, programming fundamentals
parallel certification » parallel identification, parallel classification, parallel quantification
functionals function » function function, functions functional, function dysfunction
function https » functions https, fiction https
certification programming » verification programming, identification programming, certification program
programming functionals » programming functional, programming function, programming fundamentals
parallel certification » parallel identification, parallel classification, parallel quantification
functionals function » function function, functions functional, function dysfunction
function https » functions https, fiction https
1
Έκδοση 2006
Πίνακας περιεχομένων:
“...Invited Papers -- Parallel Programming and Parallel Abstractions in Fortress -- Convergence...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
2
Έκδοση 2006
Πίνακας περιεχομένων:
“... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
3
Έκδοση 2005
Πίνακας περιεχομένων:
“...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
4
Έκδοση 2014
Πίνακας περιεχομένων:
“... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
5
Έκδοση 2014
Πίνακας περιεχομένων:
“... by Phase Tracking using Bilateral Probability Function -- Electrical Network Modeling of Amino Acid String...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
6
Έκδοση 2014
Πίνακας περιεχομένων:
“... and Kernelization in the Parallel External Memory Model -- Capturing Bisimulation-Invariant Complexity Classes...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
7
Έκδοση 2014
Πίνακας περιεχομένων:
“... and Certified Linked Implementation Using Orbits -- A Verified Generate-Test-Aggregate Coq Library for Parallel...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
8
Έκδοση 2008
Πίνακας περιεχομένων:
“... Differentiation -- Algorithmic Differentiation of Implicit Functions and Optimal Values -- Using Programming...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
9
Έκδοση 2008
Πίνακας περιεχομένων:
“... Specifications for Distributed Program Synthesis -- Exact OBDD Bounds for Some Fundamental Functions...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
10
Έκδοση 2015
Πίνακας περιεχομένων:
“... of Spoofed IP Packets -- 11. A Queueing Model for E-Learning System -- 12. Development of Common Parallel...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο