Finite and algorithmic model theory

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

Fundamentals of scientific computing অনুযায়ী Gustafsson, Bertil 1930-

Available for UP System via SpringerLink.

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

Mobility in process calculi and natural computing অনুযায়ী Aman, Bogdan

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

Discrete mathematics অনুযায়ী Gallier, Jean H.

Available for UP System via SpringerLink.

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

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

Core concepts in data analysis summarization, correlation and visualization অনুযায়ী Mirkin, Boris (Gregorevich)

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

Efficient solving of large arithmetic constraint systems with complex boolean structure proof engines for the analysis of hybrid discrete-continuous systems অনুযায়ী Herde, Christian

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