Advanced satellite communications potential markets

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

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

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

Parallel computing an introduction gan Lafferty, Edward L.

High performance thermoplastic resins and their composites gan Beland, Sylvie

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