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

Integral methods in science and engineering computational and analytic aspects

Available for UP System via SpringerLink.

Mathematical analysis of problems in the natural sciences ανά Zorich, V. A. (Vladimir Antonovich)

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

Mathematical geoscience ανά Fowler, A. C. (Andrew Cadle) 1953-

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