Προτεινόμενα θέματα σχετικά με την αναζήτησή σας.
Εναλλακτικές αναζητήσεις:
function modulation » junction modulation, functional modulation, function formulation
parallel programs » parallel programming
modulation https » education https, simulation https, manipulation https
https function » its function, sites function, ups function
1
Εξώφυλλο
Έκδοση 2010
Πίνακας περιεχομένων: “...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
2
Εξώφυλλο
Έκδοση 2006
Πίνακας περιεχομένων: “... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
3
Εξώφυλλο
ανά Chivers, Ian., Chivers, Ian., Sleightholme, Jane.
Έκδοση 2012
Πίνακας περιεχομένων: “....-Operator overloading.-Mathematical examples -- Object Oriented Programming.-Introduction to parallel...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
4
Εξώφυλλο
ανά Chivers, Ian., Chivers, Ian., Sleightholme, Jane.
Έκδοση 2015
Πίνακας περιεχομένων: “... -- Introduction to Parallel Programming -- MPI - Message Passing Interface -- OpenMP -- Coarray Fortran -- C...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
5
Εξώφυλλο
ανά Chivers, Ian., Chivers, Ian., Sleightholme, Jane.
Έκδοση 2006
Πίνακας περιεχομένων: “... Enhancements -- Fortran 2003 and the Enhanced Module Facility -- Parallel Programming -- Miscellaneous....”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
6
Εξώφυλλο
Έκδοση 2013
Πίνακας περιεχομένων: “... -- May-Happen-in-Parallel Analysis for Priority-Based Scheduling -- The Complexity of Clausal Fragments...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
7
Εξώφυλλο
Έκδοση 2005
Πίνακας περιεχομένων: “... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
8
Εξώφυλλο
Θέματα: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
9
Εξώφυλλο
ανά Bjørner, Dines., Bjørner, Dines.
Έκδοση 2006
Πίνακας περιεχομένων: “...Opening -- Discrete Mathematics -- Numbers -- Sets -- Cartesians -- Types -- Functions -- A...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
10
Εξώφυλλο
Πίνακας περιεχομένων: “... -- Operators, Expressions, and Program Flow -- Defining Functions and Using Built-ins -- Input and Output...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
11
Εξώφυλλο
Έκδοση 2015
Πίνακας περιεχομένων: “... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
12
Εξώφυλλο
Έκδοση 2008
Πίνακας περιεχομένων: “... Alias to Detect Null Pointer Dereference -- A Partial Order Reduction Technique for Parallel Timed...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
13
Εξώφυλλο
Έκδοση 2015
Πίνακας περιεχομένων: “... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
14
Εξώφυλλο
Έκδοση 2006
Πίνακας περιεχομένων: “... Central Configurations in Newton 9-Body Problem -- Algorithmic Invariants for Alexander Modules -- Sudokus...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
15
Εξώφυλλο
Έκδοση 2008
Πίνακας περιεχομένων: “... -- Approximating Multi-criteria Max-TSP -- An Integer Programming Algorithm for Routing Optimization in IP Networks...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
16
Εξώφυλλο
Έκδοση 2005
Πίνακας περιεχομένων: “... with Alzheimer’s Disease: A Comparison of Evolutionary Search, Statistical and Integer Programming Approaches...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
17
Εξώφυλλο
Έκδοση 2010
Πίνακας περιεχομένων: “...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
18
Εξώφυλλο
Έκδοση 2014
Πίνακας περιεχομένων: “... in pGCL with Isabelle -- A Coq Formalization of Finitely Presented Modules -- Formalized, Effective Domain...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
19
Εξώφυλλο
Έκδοση 2012
Πίνακας περιεχομένων: “... of Quality Metrics for Functional Safety in Systems of Cooperative Vehicles -- From Autonomous Vehicles...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
20
Εξώφυλλο
Έκδοση 2007
Πίνακας περιεχομένων: “... and Implementation of an Environment for Component-Based Parallel Programming -- Anahy: A Programming Environment...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
Εργαλεία αναζήτησης: Λήψη RSS — Αποστολή αναζήτησης με email — Αποθήκευση αναζήτησης