1
Được phát hành 2013
Mục lục: ... Components -- A High-Level Semantics for Program Execution under Total Store Order Memory -- Preemptive Type...
lấy văn bản
Điện tử eBook
2
Được phát hành 2007
Mục lục: ...: An Update -- RZ: A Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice...
lấy văn bản
Điện tử eBook
3
Được phát hành 2010
Mục lục: ... Code Clones -- Document Image Segmentation Using Recursive Top-Down Approach and Region Type...
lấy văn bản
Điện tử eBook