1
Έκδοση 2013
Πίνακας περιεχομένων: ... Components -- A High-Level Semantics for Program Execution under Total Store Order Memory -- Preemptive Type...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
2
Έκδοση 2007
Πίνακας περιεχομένων: ...: An Update -- RZ: A Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
3
Έκδοση 2010
Πίνακας περιεχομένων: ... Code Clones -- Document Image Segmentation Using Recursive Top-Down Approach and Region Type...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο