Προτεινόμενα θέματα σχετικά με την αναζήτησή σας.
Εναλλακτικές αναζητήσεις:
intersection constraint » intersection constraints, interaction constraints, interactions constraints
constraint programing » constraint programming, constraints programming, constrained programming
programing recursion » programming recursion, programming decision, programming version
recursion arrays » recursion versus
1
Εξώφυλλο
Έκδοση 2006
Πίνακας περιεχομένων: “... Abstraction of Recursive Programs -- Relative Safety -- Resource Usage Analysis for the ?-Calculus -- Semantic...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
2
Εξώφυλλο
Έκδοση 2005
Πίνακας περιεχομένων: “... Resolution of Singularities of a Space Curve -- Quantifier Elimination for Constraint Logic Programming...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
Εργαλεία αναζήτησης: Λήψη RSS — Αποστολή αναζήτησης με email — Αποθήκευση αναζήτησης