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