Communications and Multimedia Security 12th IFIP TC 6 / TC 11 International Conference, CMS 2011, Ghent, Belgium, October 19-21,2011. Proceedings

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

Coordination, organizations, institutions, and norms in agent systems VI COIN 2010 International Workshops, COIN@AAMAS 2010, Toronto, Canada, May 2010, COIN@MALLOW 2010, Lyon, Fran...

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

Detection of Intrusions and Malware, and Vulnerability Assessment 8th International Conference; DIMVA 2011, Amsterdam, The Netherlands, July 7-8, 2011. Proceedings

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

FM 2011: formal methods 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings

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

Foundations of computer software. Modeling, development, and verification of adaptive systems 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Select...

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

Foundations of software science and computational structures 14th International Conference, FOSSACS 2011, held as part of the Joint European Conferences on Theory and Practice of S...

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

Hardware and software: verification and testing 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, revised selected papers

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

Hardware and software: verification and testing 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010: revised selected papers

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

Reliable software technologies - Ada-Europe 2011 16th Ada-Europe international conference on reliable software technologies, Edinburgh, UK, June 20-24, 2011 : proceedings

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

Markov decision processes and the belief-desire-intention model bridging the gap for autonomous agents di Simari, Gerardo I.

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