Προτεινόμενα θέματα σχετικά με την αναζήτησή σας.
Προτεινόμενα θέματα σχετικά με την αναζήτησή σας.
Εναλλακτικές αναζητήσεις:
function function » function functional, functions functional, function dysfunction
semantic function » semantic functions, semantics function, semantics functions
parallel using » parallel routing, parallel parking, parallel imaging
function https » functions https, fiction https
function function » function functional, functions functional, function dysfunction
semantic function » semantic functions, semantics function, semantics functions
parallel using » parallel routing, parallel parking, parallel imaging
function https » functions https, fiction https
1
Έκδοση 2013
Πίνακας περιεχομένων:
“... Functional Formalizations – A Type-Theoretical Case Study in PVS -- Functional Semantics -- Why Functional...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
2
Έκδοση 2007
Πίνακας περιεχομένων:
“... Environment Using the Great Deluge Algorithm -- Parallelism Granules Aggregation with the T-System -- Toward a...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
3
Έκδοση 2005
Πίνακας περιεχομένων:
“... Grid Service Chain Model -- A Performance-Based Parallel Loop Self-scheduling on Grid Computing...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
4
Έκδοση 2006
Πίνακας περιεχομένων:
“... -- Provenance Explorer – Customized Provenance Views Using Semantic Inferencing -- On How to Perform a Gold...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
5
Έκδοση 2012
Πίνακας περιεχομένων:
“... -- Semantic Similarity-Driven Decision Support in the Skeletal Dysplasia Domain -- Using SPARQL to Query...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
6
Έκδοση 2012
Πίνακας περιεχομένων:
“... -- Semantic Similarity-Driven Decision Support in the Skeletal Dysplasia Domain -- Using SPARQL to Query...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
7
Έκδοση 2010
Πίνακας περιεχομένων:
“... Resources -- Guarding a Walled Garden — Semantic Privacy Preferences for the Social Web -- Using Social...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
8
Έκδοση 2010
Πίνακας περιεχομένων:
“... Grove and Its Distributed Performance -- A Massively Parallel Hardware for Modular Exponentiations Using...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
9
Πίνακας περιεχομένων:
“...Introduction -- Semantic Web -- External Sorting and B+-Trees -- Query Processing Overview...”
Λήψη πλήρους κειμένου
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
10
Έκδοση 2010
Πίνακας περιεχομένων:
“... -- Parallel Evolutionary Approach of Compaction Problem Using MapReduce -- Ant Colony Optimization...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
11
Έκδοση 2015
Πίνακας περιεχομένων:
“... Text Patterns Using Separate-and-Conquer Genetic Programming -- Improving Geometric Semantic Genetic...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
12
Έκδοση 2006
Πίνακας περιεχομένων:
“... Parallel ML: Semantics and Implementation of the Parallel Juxtaposition -- A Shortest Path Algorithm Based...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
13
Έκδοση 2015
Πίνακας περιεχομένων:
“... based Circuits using Boolean Functional Decomposition -- Towards Code Optimization for Line-aware HDL...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
14
Έκδοση 2008
Πίνακας περιεχομένων:
“... Design -- Optimizing Automatic Deployment Using Non-functional Requirement Annotations -- Experiences...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
15
Έκδοση 2015
Πίνακας περιεχομένων:
“....- Arithmetic in the Finite Fields Using Optimal Normal and Polynomial Bases in Combination.-Development...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
16
Έκδοση 2012
Πίνακας περιεχομένων:
“...-Compensating Technology for Disturbing Torque of Space Swing Camera -- Matrix Multiplication Parallelization...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
17
Έκδοση 2008
Πίνακας περιεχομένων:
“... Diagnosis with the Use of Intelligent Techniques -- Introducing Parallel Computations to a PTTP-Based First...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
18
Έκδοση 2006
Πίνακας περιεχομένων:
“...Invited Talks -- Why Use Datalog to Analyze Programs? -- Semantic Web: The Story of the RIFt so Far...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
19
Έκδοση 2008
Πίνακας περιεχομένων:
“... with Function Symbols -- Verification from Declarative Specifications Using Logic Programming -- Prolog Based...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
20
Έκδοση 2005
Πίνακας περιεχομένων:
“...-functional Requirements -- Coordination Systems in Role-Based Adaptive Software -- Coordination...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο