Advances in Cryptology - EUROCRYPT 2011 30th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Tallinn, Estonia, May 15-19, 2011. Proceedi...

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

Analysis for Computer Scientists Foundations, Methods, and Algorithms por Oberguggenberger, Michael, Oberguggenberger, Michael, Ostermann, Alexander

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

Apartness and uniformity a constructive development por Bridges, Douglas S., Vîta, Luminita Simona

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

Model-based control of logistics processes in volatile environments decision support for operations planning in supply consortia por Schönberger, Jörn

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

Approximation and Online Algorithms 8th International Workshop, WAOA 2010, Liverpool, UK, September 9-10, 2010. Revised Papers

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

Automated deduction - CADE-23 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 - August 5, 2011. Proceedings

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

Business process model and notation Third International Workshop, BPMN 2011, Lucerne, Switzerland, November 21-22, 2011. Proceedings

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

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

Core concepts in data analysis summarization, correlation and visualization por Mirkin, Boris (Gregorevich)

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

Efficient solving of large arithmetic constraint systems with complex boolean structure proof engines for the analysis of hybrid discrete-continuous systems por Herde, Christian

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