Modeling and computation in engineering III proceedings of the 3rd International Conference on Modeling and Computation in Engineering (CMCE 2014), Wuxi, China, 28-29 June 2014

Available for University of the Philippines Diliman College of Engineering via CRCnetBASE. Click here to access
Also available remotely for University of the Philippines Diliman College of Engineering via CRCnetBASE. Click here to access thru EZproxy

Software Language Engineering Third International Conference, SLE 2010, Eindhoven, The Netherlands, October 12-13, 2010, Revised Selected Papers

Available for University of the Philippine Diliman via Springerlink. Click here to access

Static analysis 18th international symposium, SAS 2011, Venice, Italy, September 14-16, 2011 : proceedings par Yahav, Eran

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

Automata, languages and programming 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part I

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

Logic-based program synthesis and transformation 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers

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

Mathematical foundations of computer science 2011 36th International Symposium, MFCS 2011, Warsaw, Poland, August 22-26, 2011. Proceedings

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

Software and data technologies 4th International Conference, ICSOFT 2009, Sofia, Bulgaria, July 26-29, 2009 : revised selected papers

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

Compiler construction 20th international conference, CC 2011, held as part of the joint European conferences on theory and practice of software, ETAPS 2011, Saarbrücken, Germany, M...

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

Programming languages and systems 20th European symposium on programming, ESOP 2011, held as part of the joint European conferences on theory and practice of software, ETAPS 2011,...

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

Static analysis 17th international symposium, SAS 2010, Perpignan, France, September 14-16, 2010 : proceedings

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