Type theory and formal proof an introduction 著者: Nederpelt, Rob, Geuvers, Herman

Foundational and applied statistics for biologists using R 著者: 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 著者: 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 著者: Derryberry, DeWayne R.

R data analysis without programming 著者: Gerbing, David W.

A handbook of statistical analyses using R 著者: Hothorn, Torsten, Everitt, Brian

Statistics an introduction using R 著者: Crawley, Michael J.

Introduction to computing & programming in Python a multimedia approach 著者: Guzdial, Mark

Numerical methods in engineering with Python 3 著者: Kiusalaas, Jaan