Προτεινόμενα θέματα σχετικά με την αναζήτησή σας.
Προτεινόμενα θέματα σχετικά με την αναζήτησή σας.
Εναλλακτικές αναζητήσεις:
functions computation » function computation, functions composition, function composition
programming decisions » programming decision, programming design, programming session
programming semantics » programming mathematics, programming series, programming secrets
arrays a » arrays _
functions computation » function computation, functions composition, function composition
programming decisions » programming decision, programming design, programming session
programming semantics » programming mathematics, programming series, programming secrets
arrays a » arrays _
1
Έκδοση 2007
Πίνακας περιεχομένων:
“... Workflow Nets for Grid Computing -- A Stochastic Semantics for BioAmbients -- A Categorical Observation...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
2
Έκδοση 2010
Πίνακας περιεχομένων:
“... Joins across Function Calls -- Fast Arc-Annotated Subsequence Matching in Linear Space -- Automated...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
3
Έκδοση 2006
Πίνακας περιεχομένων:
“... Framework for Certified Program Analysis and Its Applications to Mobile-Code Safety -- Improved Algorithm...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
4
Έκδοση 2006
Πίνακας περιεχομένων:
“... Argumentation Engine for Agent Applications -- A Tool for Answering Queries on Action Descriptions...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
5
Έκδοση 2005
Πίνακας περιεχομένων:
“... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
6
Έκδοση 2008
Πίνακας περιεχομένων:
“... Eavesdroppers -- Session 5: System Descriptions 1 -- Automated Implicit Computational Complexity Analysis...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
7
Έκδοση 2015
Πίνακας περιεχομένων:
“... Systems -- Verifying Concurrent Programs by Memory Unwinding -- AutoProof: Auto-Active Functional...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
8
Έκδοση 2010
Πίνακας περιεχομένων:
“... Applications -- Experience in Extending Query Engine for Continuous Analytics -- Development of a Business...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
9
Έκδοση 2010
Πίνακας περιεχομένων:
“... Ant Algorithm -- Applications -- Artificial Evolution for 3D PET Reconstruction -- A Hybrid Genetic...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
10
Έκδοση 2010
Πίνακας περιεχομένων:
“... -- Semantic Approach for Service Oriented Requirements Modeling -- Automatic Reasoning -- Extend Atomic Action...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο