A micromodularity mechanism. מאת Jackson, Daniel

Interface automata. מאת De Alfaro, Luca

Modular verification of collaboration-based software designs. מאת Fisler, Kathi

Minds and Machines [ejournal].

Available for University of the Philippines Diliman via Springerlink. Click here to access

Numerical Algorithms [ejournal].

Available for University of the Philippines Diliman via Springerlink. Click here to access

General purpose finite element system solver (GEFESS) מאת Foophow, Chaiyuth

Matrix stiffness method Turbo Pascal program and modules for framed structures מאת Samson, Ramon V.

Editorial Strategic Directions in Computing Research. מאת Wegner, Peter

Strategic directions in research in theory of computing. מאת Loui, Michael C.

Strategic Directions in Computational Geometry. מאת Tamassia, Roberto