Extremal combinatorics with applications in computer science מאת Jukna, Stasys 1953-

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

Formal concept analysis 9th International Conference, ICFCA 2011, Nicosia, Cyprus, May 2-6, 2011. Proceedings

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

Analysis for Computer Scientists Foundations, Methods, and Algorithms מאת Oberguggenberger, Michael, Oberguggenberger, Michael, Ostermann, Alexander

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

Fundamentals of scientific computing מאת Gustafsson, Bertil 1930-

Available for UP System via SpringerLink.

Mobility in process calculi and natural computing מאת 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 מאת Kaiser, Lukasz

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

Logic programming, knowledge representation, and nonmonotonic reasoning essays dedicated to Michael Gelfond on the occasion of his 65th Birthday

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

Certified Programs and Proofs First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings

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

Discrete mathematics for computer scientists מאת Stein, Clifford 1965-

Discrete mathematics מאת Gallier, Jean H.

Available for UP System via SpringerLink.