Εναλλακτικές αναζητήσεις:
function functional » functions functional, fractional functional, nutrition functional
parallel deduction » parallel reduction, parallel reductions, parallel detection
functional https » functions https, function https, functional hop
deduction https » education https, production https, education http
https function » its function, sites function, ups function
1
ανά Wachter, Armin., Wachter, Armin., Hoeber, Henning.
Έκδοση 2006
Θέματα: ...Mathematical Methods in Physics. https://scigraph.springernature.com/ontologies/product-market...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
2
Έκδοση 2008
Πίνακας περιεχομένων: ... by Phenotypic Evolution -- Temporal Specifications with XTUS. A Hierarchical Algebraic Approach -- A Parallel...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
3
Έκδοση 2006
Πίνακας περιεχομένων: ... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
4
Έκδοση 2005
Πίνακας περιεχομένων: ... -- Coordination of Many Agents -- Parallelizing Union-Find in Constraint Handling Rules Using Confluence Analysis...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
5
Έκδοση 2007
Πίνακας περιεχομένων: ... Models -- Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems -- Mobile Ambients...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
6
Έκδοση 2005
Πίνακας περιεχομένων: ... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
7
Έκδοση 2013
Πίνακας περιεχομένων: ... Functions -- Zenon Modulo: When Achilles Outruns the Tortoise Using Deduction Modulo -- Long-Distance...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
8
Έκδοση 2008
Πίνακας περιεχομένων: ... Using O(logn) Parallel Moves -- Squaring the Circle with Weak Mobile Robots -- 4B Database -- Evaluation...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
9
Έκδοση 2005
Πίνακας περιεχομένων: ... Configuration for QoS in Reliable Parallel Servers -- Session 2A: Practical Experience Reports and Tools I...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
10
Έκδοση 2015
Πίνακας περιεχομένων: ... Unsatisfiable Sets -- Deciding Local Theory Extensions via E-matching -- HW Verification -- Modular Deductive...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
11
Έκδοση 2013
Πίνακας περιεχομένων: ...-Contractive Maps, h Function and the Maximally regular Graph: A new methodology for data mining; Massimo...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο