Formal methods, foundations and applications 14th Brazilian Symposium, SBMF 2011, São Paulo, Brazil, September 26-30, 2011, Revised Selected Papers

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

Formal modeling and analysis of timed systems 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011. Proceedings

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

Formal methods: foundations and applications 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers

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

Formal modeling: actors, open systems, biological systems essays dedicated to Carolyn Talcott on the occasion of her 70th Birthday

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

Formal techniques for distributed systems Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Icelan...

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

Formal verification of object-oriented software International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers

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

Software tools and algorithms for biological systems

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

Human-computer interaction, tourism and cultural heritage first international workshop, HCITOCH 2010, Brescello, Italy, September 7-8, 2010 : revised selected papers

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

Human-computer interaction towards mobile and intelligent interaction environments :14th international conference, HCI International 2011, Orlando, FL, USA, July 9-14, 2011 : proce...

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

Human-computer interaction users and applications :14th international conference, HCI International 2011, Orlando, FL, USA, July 9-14, 2011 : proceedings, Part IV

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