Algorithms and discrete applied mathematics First International Conference, Caldam 2015, Kanpur, India, February 8-10, 2015. Proceedings

Available for University of the Philippines System via SpringerLink. Click here to access
Also available remotely for University of the Philippines System via SpringerLink. Click here to access thru EZproxy

Digital human modeling applications in health, safety, ergonomics and risk management : 5th International Conference, DHM 2014, held as part of HCI International 2014, Heraklion, C...

Available for University of the Philippines Diliman College of Engineering via Springer. Click here to access

Digital human modeling and applications in health, safety, ergonomics, and risk management. Human body modeling and ergonomics 4th International Conference, DHM 2013, Held as Part...

Available for University of the Philippines System via SpringerLink. Click here to access
Also available remotely for University of the Philippines System via SpringerLink. Click here to access thru EZproxy

Trends in functional programming 14th International Symposium, TFP 2013, Provo, UT, USA, May 14-16, 2013, revised selected papers

Software engineering for resilient systems 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013. Proceedings

Available for University of the Philippines System via SpringerLink. Click here to access
Also available remotely for University of the Philippines System via SpringerLink. Click here to access thru EZproxy

Reasoning web semantic technologies for the web of data : 7th international summer school 2011, Galway, Ireland, August 23-27, 2011 : tutorial lectures

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

Stabilization, safety, and security of distributed systems 13th International Symposium, SSS 2011, Grenoble, France, October 10-12, 2011 : proceedings de réir Défago, Xavier

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

Static analysis 18th international symposium, SAS 2011, Venice, Italy, September 14-16, 2011 : proceedings de réir Yahav, Eran

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

Studies in complexity and cryptography miscellanea on the interplay between randomness and computation

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

Tests and proofs 5th International Conference, TAP 2011, Zurich, Switzerland, June 30 - July 1, 2011 : proceedings

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