1
Publicado em 2013
Sumário: ... Components -- A High-Level Semantics for Program Execution under Total Store Order Memory -- Preemptive Type...
Obter o texto integral
Recurso Electrónico livro electrónico
2
Publicado em 2007
Sumário: ...: An Update -- RZ: A Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice...
Obter o texto integral
Recurso Electrónico livro electrónico
3
Publicado em 2010
Sumário: ... Code Clones -- Document Image Segmentation Using Recursive Top-Down Approach and Region Type...
Obter o texto integral
Recurso Electrónico livro electrónico