Προτεινόμενα θέματα σχετικά με την αναζήτησή σας.
Προτεινόμενα θέματα σχετικά με την αναζήτησή σας.
Εναλλακτικές αναζητήσεις:
implicit functionals » implicit functions, implicit function, implicit relational
functionals function » function function, functions functional, function dysfunction
parallel programs » parallel programming
programs implicit » programs impact, problems implicit, programming implicit
function https » functions https, fiction https
implicit functionals » implicit functions, implicit function, implicit relational
functionals function » function function, functions functional, function dysfunction
parallel programs » parallel programming
programs implicit » programs impact, problems implicit, programming implicit
function https » functions https, fiction https
1
Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR...
Έκδοση 2006
Πίνακας περιεχομένων:
“... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
2
ανά Grune, Dick., Grune, Dick., van Reeuwijk, Kees., Bal, Henri E., Jacobs, Ceriel J.H., Langendoen, Koen.
Έκδοση 2012
Πίνακας περιεχομένων:
“... Management -- Imperative and Object-Oriented Programs -- Functional Programs -- Logic Programs -- Parallel...”Έκδοση 2012
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
3
Έκδοση 2015
Πίνακας περιεχομένων:
“... -- Superconvergence of Some Linear and Quadratic Functionals for Higher-order Finite Elements -- Time Step...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
4
Έκδοση 2006
Πίνακας περιεχομένων:
“... Runs of Automata -- The Power of Linear Functions -- Logical Omniscience Via Proof Complexity...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
5
Έκδοση 2015
Πίνακας περιεχομένων:
“... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
6
Έκδοση 2014
Πίνακας περιεχομένων:
“... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
7
Έκδοση 2008
Πίνακας περιεχομένων:
“... Double Auction Market -- Parallel Reinforcement Learning with Linear Function Approximation -- Combining...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
8
Έκδοση 2010
Πίνακας περιεχομένων:
“... Implicitization and Specialization of Minimum KL-Divergence Models -- On Sufficient Conditions for Integrability...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
9
Έκδοση 2005
Πίνακας περιεχομένων:
“... with Alzheimer’s Disease: A Comparison of Evolutionary Search, Statistical and Integer Programming Approaches...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
10
Έκδοση 2008
Πίνακας περιεχομένων:
“... Computing System -- Computable Statistical Research and Practice -- Implicit and Explicit Parallel Computing...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
11
Έκδοση 2007
Πίνακας περιεχομένων:
“... Model -- Enabling Very-Large Scale Earthquake Simulations on Parallel Machines -- Fast Insolation...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
12
Έκδοση 2007
Πίνακας περιεχομένων:
“... Execution of Parallel Processes: Penetrating NATs over the Grid -- Parallelization of C# Programs Through...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
13
Έκδοση 2008
Πίνακας περιεχομένων:
“... Differentiation -- Algorithmic Differentiation of Implicit Functions and Optimal Values -- Using Programming...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
14
Έκδοση 2015
Πίνακας περιεχομένων:
“... -- Cogitative Priming with Self-Speech: Implicit Memory Intervention for Improvement in Daily Motor Function...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
15
Έκδοση 2006
Πίνακας περιεχομένων:
“... for Coordinating Data-Parallel Programs (Position Statement) -- Implementations of Square-Root and Exponential...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
16
Έκδοση 2007
Πίνακας περιεχομένων:
“... Approach for Speculative Parallel Threading -- Entropy-Based Profile Characterization and Classification...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
17
Έκδοση 2013
Πίνακας περιεχομένων:
“... Using Genetic Programming -- Implicit Fitness Sharing for Evolutionary Synthesis of License Plate...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο