The concrete tetrahedron symbolic sums, recurrence equations, generating functions, asymptotic estimates gan Kauers, Manuel, Paule, Peter

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

Theoretical and mathematical foundations of computer science second International Conference, ICTMF 2011, Singapore, May 5-6, 2011, selected papers

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

Theory and applications of models of computation 8th annual conference, TAMC 2011, Tokyo, Japan, May 23-25, 2011 : proceedings

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

Relational and algebraic methods in computer science 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 - June 3, 2011. Proceedings

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

Finite and algorithmic model theory

Fundamentals of scientific computing gan Gustafsson, Bertil 1930-

Mathematics for informatics and computer science gan Audibert, Pierre 1941-

Available for University of the Philippines Diliman via Wiley Online Library. Click here to access
Also available remotely for University of the Philippines Diliman via Wiley Online Library. Click here to access thru EZproxy

Methods in algorithmic analysis gan Dobrushkin, V. A.

Discrete structures, logic, and computability gan Hein, James L.

Discrete mathematics gan Fernandez, Maribeth Bonzon