Προτεινόμενα θέματα σχετικά με την αναζήτησή σας.
Προτεινόμενα θέματα σχετικά με την αναζήτησή σας.
Εναλλακτικές αναζητήσεις:
computation concurrent » compression concurrent, formulation concurrent, simulation concurrent
concurrent processing » concurrent processes, content processing, concurrent programming
function computation » function computing, function decomposition, section computational
array processing » dairy processing, query processing
array string » array strong, arrays strings, array sharing
computation concurrent » compression concurrent, formulation concurrent, simulation concurrent
concurrent processing » concurrent processes, content processing, concurrent programming
function computation » function computing, function decomposition, section computational
array processing » dairy processing, query processing
array string » array strong, arrays strings, array sharing
1
Έκδοση 2010
Πίνακας περιεχομένων:
“...Workshop on Scheduling for Parallel Computing (SPC 2009) -- Fully Polynomial Time Approximation...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
2
Έκδοση 2015
Πίνακας περιεχομένων:
“... Systems -- An Improved Concurrent Programming Architectural Model Based on Cloud Computing -- Passivity...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
3
Έκδοση 2007
Πίνακας περιεχομένων:
“... on Satisfiability Modulo Theories -- A JML Tutorial: Modular Specification and Verification of Functional Behavior...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
4
Έκδοση 2005
Πίνακας περιεχομένων:
“... -- Solving First Order Formulae of Pseudo-Regular Theory -- Splicing Array Grammar Systems -- Computer...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
5
Έκδοση 2008
Πίνακας περιεχομένων:
“... Systems -- Streaming Systems in FPGAs -- Heterogeneous Design in Functional DIF -- Tool Integration...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
6
Έκδοση 2014
Πίνακας περιεχομένων:
“... Computation -- An Array-Oriented Language with Static Rank Polymorphism -- Gradual Typing for Annotated Type...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
7
Έκδοση 2010
Πίνακας περιεχομένων:
“... Computation -- Propositional Interpolation and Abstract Interpretation -- Functional Programming in Sublinear...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
8
Έκδοση 2008
Πίνακας περιεχομένων:
“... for Business Process Composition -- E-Service Management -- Recovery of Concurrent Processes in a Service...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
9
Έκδοση 2015
Πίνακας περιεχομένων:
“... Systems -- Verifying Concurrent Programs by Memory Unwinding -- AutoProof: Auto-Active Functional...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
10
Έκδοση 2010
Πίνακας περιεχομένων:
“... in Model-Driven Development for Service-Oriented and Cloud Computing -- Adaptive Composition...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
11
Έκδοση 2005
Πίνακας περιεχομένων:
“... and saline stress -- Methods for studying nodule development and function -- A procedure for in vitro...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο