-
391
-
392
-
393
-
394
-
395
-
396
-
397
10 PRINT CHR$(205.5+RND(1));:GOTO 1
Pubblicazione 2013Click here to access thru EZproxy
Click here to access
Electronic Resource -
398
Certified programming with dependent types a pragmatic introduction to the Coq proof assistant
Pubblicazione 2013Click here to access thru EZproxy
Click here to access
Electronic Resource -
399
-
400
Introduction to programming with C++
Pubblicazione 2013Available 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
Electronic Resource


