1
Vydáno 2013
Obsah: ... Components -- A High-Level Semantics for Program Execution under Total Store Order Memory -- Preemptive Type...
Získat plný text
Elektronický zdroj E-kniha
2
Vydáno 2007
Obsah: ...: An Update -- RZ: A Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice...
Získat plný text
Elektronický zdroj E-kniha
3
Vydáno 2010
Obsah: ... Code Clones -- Document Image Segmentation Using Recursive Top-Down Approach and Region Type...
Získat plný text
Elektronický zdroj E-kniha
Vyhledávací nástroje: RSS Poslat emailem Uložit hledání