Type theory and formal proof an introduction od Nederpelt, Rob, Geuvers, Herman

Foundational and applied statistics for biologists using R od Aho, Ken A.

DLS'14 proceedings of the 10th Symposium on Dynamic Languages : October 20-24, 2014, Portland, Oregon, USA

Raspberry Pi projects for the evil genius od Norris, Donald

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

Basic data analysis for time series with R od Derryberry, DeWayne R.

R data analysis without programming od Gerbing, David W.

A handbook of statistical analyses using R od Hothorn, Torsten, Everitt, Brian

Statistics an introduction using R od Crawley, Michael J.

Introduction to computing & programming in Python a multimedia approach od Guzdial, Mark

Numerical methods in engineering with Python 3 od Kiusalaas, Jaan