Certified programming with dependent types a pragmatic introduction to the Coq proof assistant অনুযায়ী Chlipala, Adam 1981-

Click here to access thru EZproxy
Click here to access

Engineering problem solving with C অনুযায়ী Etter, Delores M. (Delores Maria) 1947-

Introduction to programming with C++ অনুযায়ী Liang, Y. Daniel

Available for University of the Philippines Diliman College of Engineering via e-Textbook Reserves under Vital Source. Click here to access
Also available remotely for University of the Philippines Diliman College of Engineering. Click here to access thru Remote Access via EZProxy

Structured computer organization অনুযায়ী Tanenbaum, Andrew S. 1944-, Austin, Todd

Available for University of the Philippines Diliman College of Engineering via e-Textbook Reserves under Vital Source. Click here to access
Also available remotely for University of the Philippines Diliman College of Engineering. Click here to access thru Remote Access via EZProxy

Programming the Raspberry Pi getting started with Python অনুযায়ী Monk, Simon

Available 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

C++ how to program অনুযায়ী Deitel, Paul J., Deitel, Harvey M. 1945-

JavaScript programming pushing the limits : advanced application development with JavaScript & HTML5 অনুযায়ী Raasch, Jon

Introduction to computer science using Python a computational problem-solving focus অনুযায়ী Dierbach, Charles 1953-

Making effective business decisions using Microsoft Project অনুযায়ী Runcie, Tim, Dochtermann, Mark

Available for University of the Philippines Diliman via Wiley Online Library. Click here to access

Visual intelligence Microsoft tools and techniques for visualizing data অনুযায়ী Stacey, Mark, Salvatore, Joe, Jorgensen, Adam

Available for University of the Philippines Diliman via Wiley Online Library. Click here to access