Books · Search
Parallelverarbeitung · Compiler
Languages and compilers for parallel computing
2000
Computational complexity · Gödel's theorem
Some upper and lower bounds on decision procedures in logic
1974
Computational complexity · Predicate calculus
The computational complexity of logical theories
1979
Parallel processing (Electronic computers) · Parallel processing (electronic computers)
Portability and performance for parallel processing
1994
Logic, Symbolic and mathematical · Sequential machine theory
Adhesion · Friction
Computational techniques in tribology and material science at the atomic level
1991
