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

Metric units in engineering going SI gan Wandmacher, Cornelius 1911-, Johnson, A. I. 1919- (Arnold Ivan)

Available for University of the Philippines Diliman College of Engineering via ASCE Library. Click here to access
Also available remotely for University of the Philippines Diliman College of Engineering via ASCE Library. Click here to access thru EZproxy

Adaptive prediction and predictive control gan Kanjilal, P. P. (Partha Pratim)

Available for University of the Philippines Diliman via IET Digital Library. Click here to access
Also available remotely for University of the Philippines Diliman via IET Digital Library. Click here to access thru EZproxy

Digital protection for power systems gan Johns, Allan 1942-, Salman, S. K. (Salman K.)

Available for University of the Philippines Diliman via IET Digital Library. Click here to access
Also available remotely for University of the Philippines Diliman via IET Digital Library. Click here to access thru EZproxy

Power system protection

Available for University of the Philippines Diliman via IET Digital Library. Click here to access Vol. 1
Also available remotely for University of the Philippines Diliman via IET Digital Library. Click here to access Vol. 1 thru EZproxy
Available for University of the Philippines Diliman via IET Digital Library. Click here to access Vol. 2
Also available remotely for University of the Philippines Diliman via IET Digital Library. Click here to access Vol. 2 thru EZproxy
Available for University of the Philippines Diliman via IET Digital Library. Click here to access Vol. 3
Also available remotely for University of the Philippines Diliman via IET Digital Library. Click here to access Vol. 3 thru EZproxy
Available for University of the Philippines Diliman via IET Digital Library. Click here to access Vol. 4
Also available remotely for University of the Philippines Diliman via IET Digital Library. Click here to access Vol. 4 thru EZproxy

Foundations of intelligent knowledge-based systems gan Torsun, I. S.

Self-order and form in polymeric materials

Decision support and expert systems management support systems gan Turban, Efraim

Applied data communications a business-oriented approach gan Goldman, James E.

Interactive and animated cartography gan Peterson, Michael P.