Advanced satellite communications potential markets

Industrial applications of formal methods to model, design, and analyze computer systems per Craigen, Dan 1953-, Gerhart, Susan L., Ralston, Theodore L.

Available for University of the Philippines System via ScienceDirect. Click here to access
Also available remotely for University of the Philippines System via ScienceDirect. Click here to access thru EZproxy

Industrial applications of formal methods to model, design and analyze computer systems an international survey per Craigen, Dan 1953-

Also available online for University of the Philippines Diliman via ScienceDirect. Click here to access

Advanced software applications in Japan

Software quality control, error analysis, and testing

Reliability of software intensive systems per Friedman, Michael A.

Satellite communications systems and technology--Europe, Japan, Russia

Product life cycle assessment to reduce health risks and environmental impacts per Keoleian, Gregory A.

Parallel computing an introduction per Lafferty, Edward L.

High performance thermoplastic resins and their composites per Beland, Sylvie

Also available online for University of the Philippines Diliman via ScienceDirect. Click here to access