A micromodularity mechanism. par Jackson, Daniel

Interface automata. par De Alfaro, Luca

Modular verification of collaboration-based software designs. par 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) par Foophow, Chaiyuth

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

Editorial Strategic Directions in Computing Research. par Wegner, Peter

Strategic directions in research in theory of computing. par Loui, Michael C.

Strategic Directions in Computational Geometry. par Tamassia, Roberto