Search Results - mathematics (computer program language).

Rigorous Software Development An Introduction to Program Verification by Almeida, José Bacelar

Available for University of the Philippines System via SpringerLink. Click here to access

Rigorous Software Development An Introduction to Program Verification by Almeida, José Bacelar

Available for University of the Philippines Diliman via SpringerLink. Click here to access

Control-based operating system design by Leva, Alberto, Maggio, Martina, Papadopoulos, Alessandro Vittorio, Terraneo, Federico

Available 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

Quantitative methods for second language research a problem-solving approach by Roever, Carsten, Phakiti, Aek

Scientific computing with MATLAB by Xue, Dingyu, Chen, YangQuan 1966-

Proof, computation and agency logic at the crossroads

Available for the University of the Philippines Diliman via SpringerLink. Click here to access

Dependable and historic computing essays dedicated to Brian Randell on the occasion of his 75th birthday

Available for University of the Philippines Diliman via SpringerLink. Click here to access

Using statistics in small-scale language education research focus on non-parametric data by Turner, Jean L.

The foundations of statistics a simulation-based approach by Vasishth, Shravan 1964-

Available for University of the Philippines Diliman via SpringerLink. Click here to access

Tools for teaching logic Third international congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011. Proceedings

Available for University of the Philippines Diliman via SpringerLink. Click here to access