1
Published 2015
Table of Contents: ... Static Cost Analysis for Parallel Programs -- Sound, Modular and Compositional Verification of the Input...
View full text
Electronic eBook
2
Published 2007
Table of Contents: ... Execution of Parallel Processes: Penetrating NATs over the Grid -- Parallelization of C# Programs Through...
View full text
Electronic eBook
3
Published 2011
Table of Contents: ...Part I – Searching and Sorting -- Overview -- 1 Binary Search -- 2 Insertion Sort -- 3 Fast Sorting...
View full text
Electronic eBook
4
Published 2012
Table of Contents: ...-homologous End-joining-deficient Strains for Functional Gene Analyses in Filamentous Fungi -- Atomic Force...
View full text
Electronic eBook