Parallel Execution of Logic Programs, J.S. Conery

Variations on Constants: Flow Analysis of Sequential and Parallel Programs, Mark

A Survey of Verification Techniques for Parallel Programs, Howard Barringer

Automatic correction and improvement of programs (Ellis Horwood books in computi

Prediction and Change of Health Behavior, Unknown

Stationary Processes and Prediction Theory. (AM-44) (Annals of Mathematics Studi

The Specification of Computer Programs, Wladyslaw M. Turski et Thomas S. E. Maib

Prediction of Protein Structures, Functions, and Interactions, Unknown