Προτεινόμενα θέματα σχετικά με την αναζήτησή σας.
Προτεινόμενα θέματα σχετικά με την αναζήτησή σας.
Εναλλακτικές αναζητήσεις:
section computational » prediction computational, design computational, effective computational
computational program » computational problem, compositional program, computational problems
program semantics » programming semantics, process semantics, from semantics
semantics arrays » semantics essays, semantics across, semantics arrow
arrays a » arrays _
section computational » prediction computational, design computational, effective computational
computational program » computational problem, compositional program, computational problems
program semantics » programming semantics, process semantics, from semantics
semantics arrays » semantics essays, semantics across, semantics arrow
arrays a » arrays _
1
Έκδοση 2013
Πίνακας περιεχομένων:
“... Computing Platforms -- Towards a Domain-Specific Language for Patterns-Oriented Parallel Programming...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
2
Έκδοση 2014
Πίνακας περιεχομένων:
“... Computation -- An Array-Oriented Language with Static Rank Polymorphism -- Gradual Typing for Annotated Type...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
3
Έκδοση 2013
Πίνακας περιεχομένων:
“... -- Digitization of Deformed Documents Using a High-Speed Multi-camera Array -- A Phase-Based Approach for Caption...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
4
Έκδοση 2014
Πίνακας περιεχομένων:
“... -- An Evaluation of Reliability of a Two-Unit Degradable Computing System using Parametric Non-Linear Programming...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
5
Έκδοση 2012
Πίνακας περιεχομένων:
“... Model of Computation -- Assume-Guarantee Scenarios: Semantics and Synthesis -- An Exploratory Study...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
6
Έκδοση 2015
Πίνακας περιεχομένων:
“... in Scientific Numeric Computing -- Fast Parallel Suffix Array on the GPU -- Effective Barrier Synchronization...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
7
Έκδοση 2008
Πίνακας περιεχομένων:
“... Chains -- Towards Roundtrip Engineering - A Template-Based Reverse Engineering Approach -- Annotation...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
8
Έκδοση 2014
Πίνακας περιεχομένων:
“... for Linear Loops -- Modeling and Model Checking Discrete Systems FDR3 — A Modern Refinement Checker for CSP...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
9
Έκδοση 2015
Πίνακας περιεχομένων:
“... for Verifying C Programs -- SMACK+Corral: A Modular Verifier -- Ultimate Automizer with Array Interpolation...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
10
Έκδοση 2008
Πίνακας περιεχομένων:
“... Procedures -- Session 2: Specific Theories -- Proving Bounds on Real-Valued Functions with Computations...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
11
Έκδοση 2012
Πίνακας περιεχομένων:
“... -- Simultaneous Learning of Several Bayesian and Mahalanobis Discriminant Functions by a Neural Network...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
12
Έκδοση 2012
Πίνακας περιεχομένων:
“... (SSVEP)-Based Brain-Computer Interface (BCI): A Low-Delayed Asynchronous Wheelchair Control System...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
13
Έκδοση 2014
Πίνακας περιεχομένων:
“... -- A new method for removing random-valued impulse noise -- CTR Prediction for DSP with Improved Cube...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
14
Έκδοση 2013
Πίνακας περιεχομένων:
“... Home Automation System -- Design of a Smart Battery System for Laptop Computer -- A Novel Fuzzy Neural...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο