1
Gepubliceerd in 2013
Inhoudsopgave: ... Components -- A High-Level Semantics for Program Execution under Total Store Order Memory -- Preemptive Type...
Volledige tekst
Elektronisch E-boek
2
Gepubliceerd in 2007
Inhoudsopgave: ...: An Update -- RZ: A Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice...
Volledige tekst
Elektronisch E-boek
3
Gepubliceerd in 2010
Inhoudsopgave: ... Code Clones -- Document Image Segmentation Using Recursive Top-Down Approach and Region Type...
Volledige tekst
Elektronisch E-boek