1
出版事項 2013
目次: ... Components -- A High-Level Semantics for Program Execution under Total Store Order Memory -- Preemptive Type...
全文の入手
電子媒体 eBook
2
出版事項 2007
目次: ...: An Update -- RZ: A Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice...
全文の入手
電子媒体 eBook
3
出版事項 2010
目次: ... Code Clones -- Document Image Segmentation Using Recursive Top-Down Approach and Region Type...
全文の入手
電子媒体 eBook