Certified Programs and Proofs First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings

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

Change Management for Semantic Web Services por Liu, Xumin, Akram, Salman, Bouguettaya, Athman

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

Combinatorial Optimization and Applications 5th International Conference, COCOA 2011, Zhangjiajie, China, August 4-6, 2011. Proceedings

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

Combinatorial Pattern Matching 22nd Annual Symposium, CPM 2011, Palermo, Italy, June 27-29, 2011. Proceedings

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

Communicating with XML por Salminen, Airi, Tompa, Frank

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

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

Community-Built Databases Research and Development

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

Computing and intelligent systems International Conference, ICCIC 2011, Wuhan, China, September 17-18, 2011. Proceedings, Part IV

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

Decision and game theory for security Second International Conference, GameSec 2011, College Park, MD, Maryland, USA, November 14-15, 2011. Proceedings

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

Design of modern heuristics principles and application por Rothlauf, Franz 1971-

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