Προτεινόμενα θέματα σχετικά με την αναζήτησή σας.
Εναλλακτικές αναζητήσεις:
functionals function » function function, functions functional, function dysfunction
program functionals » programs functional, program functionality, problem functionals
parallel invited » parallel inverted, parallel finite, parallel nested
function https » functions https, fiction https
1
Εξώφυλλο
Έκδοση 2010
Πίνακας περιεχομένων: “...Invited Talks -- Beluga: Programming with Dependent Types, Contextual Data, and Contexts -- Using...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
2
Εξώφυλλο
Έκδοση 2006
Πίνακας περιεχομένων: “...Invited Papers -- Parallel Programming and Parallel Abstractions in Fortress -- Convergence...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
3
Εξώφυλλο
Έκδοση 2008
Πίνακας περιεχομένων: “... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
4
Εξώφυλλο
Έκδοση 2005
Πίνακας περιεχομένων: “... of Message Passing Parallel Programs on Grids -- MGF: A Grid-Enabled MPI Library with a Delegation Mechanism...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
5
Εξώφυλλο
Έκδοση 2008
Πίνακας περιεχομένων: “...Invited Talk -- The Life of a Logic Programming System -- Special Session -- Uniting the Prolog...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
6
Εξώφυλλο
Έκδοση 2006
Πίνακας περιεχομένων: “...Invited Talks -- Why Use Datalog to Analyze Programs? -- Semantic Web: The Story of the RIFt so Far...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
7
Εξώφυλλο
Έκδοση 2005
Πίνακας περιεχομένων: “...Invited Talk -- Type Systems for XML -- The Essence of Dataflow Programming -- Data Refinement...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
8
Εξώφυλλο
Έκδοση 2014
Πίνακας περιεχομένων: “... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
9
Εξώφυλλο
Έκδοση 2008
Πίνακας περιεχομένων: “...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
10
Εξώφυλλο
Έκδοση 2014
Πίνακας περιεχομένων: “... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
11
Εξώφυλλο
Έκδοση 2006
Πίνακας περιεχομένων: “...Invited Lectures -- Additive Approximation for Edge-Deletion Problems (Abstract) -- Graph Theory I...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
12
Εξώφυλλο
Έκδοση 2013
Πίνακας περιεχομένων: “...Invited Talks -- Optimization for Policy Making: The Cornerstone for an Integrated Approach...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
13
Εξώφυλλο
Έκδοση 2010
Πίνακας περιεχομένων: “... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
14
Εξώφυλλο
Έκδοση 2007
Πίνακας περιεχομένων: “... Ontology of ‘Cultures’ and ‘Ethnic Groups’ Based on Type Theory and Functional Programming -- Capturing a...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
15
Εξώφυλλο
Έκδοση 2007
Πίνακας περιεχομένων: “...Invited Lectures -- Psim: A Computational Platform for Metabolic P Systems -- Modeling the Dynamics...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
16
Εξώφυλλο
Έκδοση 2007
Πίνακας περιεχομένων: “... and Implementation of an Environment for Component-Based Parallel Programming -- Anahy: A Programming Environment...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
17
Εξώφυλλο
Έκδοση 2006
Πίνακας περιεχομένων: “... -- The Paderkicker Team: Autonomy in Realtime Environments -- Modular Compilation of Synchronous Programs -- Trends...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
18
Εξώφυλλο
Έκδοση 2010
Πίνακας περιεχομένων: “...Invited Papers -- Answer Set Programming in 2010: A Personal Perspective -- An Introduction...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
19
Εξώφυλλο
Έκδοση 2005
Πίνακας περιεχομένων: “...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
20
Εξώφυλλο
Έκδοση 2008
Πίνακας περιεχομένων: “...Invited Talks -- Architecture Based Specification and Verification of Embedded Software Systems...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
Εργαλεία αναζήτησης: Λήψη RSS — Αποστολή αναζήτησης με email — Αποθήκευση αναζήτησης