Advanced satellite communications potential markets

Industrial applications of formal methods to model, design, and analyze computer systems av 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 av 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 av Friedman, Michael A.

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

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

Parallel computing an introduction av Lafferty, Edward L.

High performance thermoplastic resins and their composites av Beland, Sylvie

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