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