Theory and applications of models of computation 8th annual conference, TAMC 2011, Tokyo, Japan, May 23-25, 2011 : proceedings

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

Proceedings of the 1997 symposium (SMACS'97), May 28-June 1, 1997, University of the Philippines-College Baguio

Proceedings of the 1997 Symposium on mathematical aspects of computer science (SMACS'97), May 28 - June 1, 1997, University of the Philippines - College Baguio

Lecture notes in theory of computations [held at] University of the Philippines-College Baguio, Baguio City, Philippines, May 28-June 1, 1997

Number theoretic and algebraic methods in computer science proceedings of the international conference, Moscow, June/July 1993

Integrating symbolic mathematical computation and artificial intelligence Second International Conference, AISMC-2, Cambridge, United Kingdom, August 3-5, 1994 : selected papers

Discrete structural optimization IUTAM Symposium, Zakopane, Poland, August 31-Septmber 3, 1993

Mathematical foundations of computer science 1994 19th international symposium, MFCS '94, Kosice, Slovakia, August 22-26, 1994 proceedings

Mathematical foundations of computer science 1993 18th International Symposium, MFCS'93, Gdansk, Poland, August 30-September 3, 1993 : proceedings