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

Euclidean shortest paths exact or approximate algorithms 著者: Li, Fajie

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

Finite and algorithmic model theory

Fundamentals of scientific computing 著者: Gustafsson, Bertil 1930-

Discrete mathematics 著者: Fernandez, Maribeth Bonzon

Discrete structures, logic, and computability 著者: Hein, James L.

Methods in algorithmic analysis 著者: Dobrushkin, V. A.

Mathematics for informatics and computer science 著者: 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

Discrete mathematics 著者: Fernandez, Maribeth