1
Published 2006
Table of Contents: ...Implementions -- Parallel Programming Models for Irregular Algorithms -- Basic Approach to Parallel...
View full text
Electronic eBook
2
by Kozen, Dexter C., Kozen, Dexter C.
Published 2006
Table of Contents: ... Pathology -- Partial Recursive Functions and Gödel Numberings -- Applications of the Recursion Theorem...
View full text
Electronic eBook
3
Published 2005
Table of Contents: ... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...
View full text
Electronic eBook
4
Published 2008
Table of Contents: ... of Computer Science -- Recursive Domain Equations of Filter Models -- Algorithmic Problems for Metrics...
View full text
Electronic eBook
5
Published 2005
Table of Contents: ... -- Computing Upward Planar Drawings Using Switch-Regularity Heuristics -- Serial and Parallel Multilevel Graph...
View full text
Electronic eBook