-
151
-
152
Certified programming with dependent types a pragmatic introduction to the Coq proof assistant
Published 2013Click here to access thru EZproxy
Click here to access
Electronic Resource -
153
Industrial automation hands-on
Published 2013Available for University of the Philippines Diliman via McGraw-Hill Access Engineering. Click here to access
Also available remotely for University of the Philippines Diliman via McGraw-Hill Access Engineering. Click here to access thru EZproxy
Electronic Resource -
154
Techniques for noise robustness in automatic speech recognition
Published 2013Available for University of the Philippines Diliman via Wiley Online Library. Click here to access
Also available remotely for University of the Philippines Diliman via Wiley Online Library. Click here to access thru EZproxy
Available for University of the Philippines Diliman College of Engineering via IEEE Xplore. Click here to access
Also available remotely for University of the Philippines Diliman College of Engineering via IEEE Xplore. Click here to access thru EZproxy
Electronic Resource -
155
Distributed control and filtering for industrial systems
Published 2013Available 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
Electronic Resource -
156
Handbook of vehicle suspension control systems
Published 2013Available 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
Electronic Resource -
157
-
158
Smart grid infrastructure & networking
Published 2013Available for University of the Philippines Diliman via McGraw-Hill Access Engineering. Click here to access
Also available remotely for University of the Philippines Diliman via McGraw-Hill Access Engineering. Click here to access thru EZproxy
Electronic Resource -
159
Computer-aided control systems design practical applications using MATLAB and Simulink
Published 2013Available for University of the Philippines Diliman College of Engineering via CRCnetBASE. Click here to access
Also available remotely for University of the Philippines Diliman College of Engineering via CRCnetBASE. Click here to access thru EZproxy
Electronic Resource -
160
Continuous time dynamical systems state estimation and optimal control with orthogonal functions
Published 2013Available for University of the Philippines Diliman College of Engineering via CRCnetBASE. Click here to access
Also available remotely for University of the Philippines Diliman College of Engineering via CRCnetBASE. Click here to access thru EZproxy
Electronic Resource