Alan Turing his work and impact

Probability and statistics for engineering and the computing sciences di Milton, J. Susan

Introductory combinatorics di Brualdi, Richard A.

Linear algebra and probability for computer science applications di Davis, Ernest

An introduction to modern mathematical computing with Maple di Borwein, Jonathan M.

Linear algebra and probability for computer science applications di Davis, Ernest

Sets, logic and maths for computing di Makinson, David 1941-

Connect to resource
Connect to resource (off-campus access)

Efficient solving of large arithmetic constraint systems with complex boolean structure proof engines for the analysis of hybrid discrete-continuous systems di Herde, Christian

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

Mobility in process calculi and natural computing di Aman, Bogdan

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

Logic and games on automatic structures playing with quantifiers and decompositions di Kaiser, Lukasz

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