Rigorous Software Development An Introduction to Program Verification by Almeida, José Bacelar

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

PH software for startups who dislike numbers to debut in HK tech convention.

Pazner, Micha, Kirby, K. Chris and Thies, Nancy, "map" II "map processor" : a"geographic information system for the Macintosh"(book review) by Raper, J.F

Enterprise linux at work how to build 10 distributed applications for your organizations by Asbury, Stephen

Office XP new features guide changes from Office 2000 to Office XP.

Agricultural vehicle navigation system development of a guidance information display. by Hamada, Yasuyuki

Digital simulations for Grade 7 to 10 Mathematics. by de las Peñas, Ma. Louise Antonette N.

Chronicle encyclopedia of history

RESTful Web APIs by Richardson, Leonard 1979-, Amundsen, Michael

A matrix-based conversion of Robustness Diagrams with Loop and Time Controls to Petri Nets with abstract arcs handling by Flores, Angelo Louis A.