Εναλλακτικές αναζητήσεις:
program functionality » protein functionality, programs functional, supra functionality
functionality from » functionals from, functionality do, functionality rbd
parallel programs » parallel programming
programs program » programming program
from https » from hts
1
Έκδοση 2015
Πίνακας περιεχομένων: ... Effects -- Call Arity -- Graph Problems and Vector-Matrix Multiplications in Haskell -- A Functional...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
2
Έκδοση 2011
Θέματα: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
3
Έκδοση 2012
Θέματα: ...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
4
ανά Freeman, Adam., Freeman, Adam.
Έκδοση 2010
Πίνακας περιεχομένων: ...Introducing Parallel Programming -- Task Programming Hibernate -- Sharing Data -- Coordinating...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
5
Έκδοση 2008
Πίνακας περιεχομένων: ... with Function Symbols -- Verification from Declarative Specifications Using Logic Programming -- Prolog Based...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
6
Έκδοση 2006
Πίνακας περιεχομένων: ... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
7
Έκδοση 2013
Πίνακας περιεχομένων: ... Computing Platforms -- Towards a Domain-Specific Language for Patterns-Oriented Parallel Programming...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
8
Έκδοση 2013
Πίνακας περιεχομένων: ... Programming Matters to Me -- Clocks for Functional Programs -- Declarative Natural Language Specifications...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
9
Έκδοση 2015
Πίνακας περιεχομένων: ... Static Cost Analysis for Parallel Programs -- Sound, Modular and Compositional Verification of the Input...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
10
Έκδοση 2014
Πίνακας περιεχομένων: ... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
11
ανά Chivers, Ian., Chivers, Ian., Sleightholme, Jane.
Έκδοση 2012
Πίνακας περιεχομένων: ....-Operator overloading.-Mathematical examples -- Object Oriented Programming.-Introduction to parallel...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
12
Έκδοση 2008
Πίνακας περιεχομένων: ...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
13
Έκδοση 2014
Πίνακας περιεχομένων: ... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
14
ανά Chivers, Ian., Chivers, Ian., Sleightholme, Jane.
Έκδοση 2015
Πίνακας περιεχομένων: ... -- Introduction to Parallel Programming -- MPI - Message Passing Interface -- OpenMP -- Coarray Fortran -- C...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
15
Έκδοση 2007
Πίνακας περιεχομένων: ... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
16
ανά Chivers, Ian., Chivers, Ian., Sleightholme, Jane.
Έκδοση 2006
Πίνακας περιεχομένων: ... Enhancements -- Fortran 2003 and the Enhanced Module Facility -- Parallel Programming -- Miscellaneous....
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
17
Έκδοση 2010
Πίνακας περιεχομένων: ... and Parallelized Programs -- DFT Performance Prediction in FFTW -- Safe and Familiar Multi-core Programming...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
18
Έκδοση 2006
Πίνακας περιεχομένων: ... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
19
Έκδοση 2014
Πίνακας περιεχομένων: ...Construction of Explanation Graphs from Extended Dependency Graphs for Answer Set Programs...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
20
Έκδοση 2012
Πίνακας περιεχομένων: ...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο