1
Έκδοση 2014
Πίνακας περιεχομένων: ... on Hadoop Platform -- Developing Write-back Caches and Information Retrieval Systems with EASEL -- A Method...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
2
Έκδοση 2015
Πίνακας περιεχομένων: ... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
3
Έκδοση 2008
Πίνακας περιεχομένων: ... Procedures -- Session 2: Specific Theories -- Proving Bounds on Real-Valued Functions with Computations...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο