Torthaí cuardaigh - "Machine theory Congresses."

Implementation and application of automata 16th international conference, CIAA 2011, Blois, France, July 13-16, 2011. proceedings

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

Implementation and application of automata 15th international conference, CIAA 2010, Winnipeg, MB, Canada, August 12-15, 2010. revised selected papers

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

Advances in Petri nets, 1989

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

Algorithmic foundations of robotics selected contributions of the ninth International Workshop on the Algorithmic Foundations of Robotics

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

Automata, languages and programming 21st international colloquium, ICALP '94, Jerusalem, Israel, July 11-14, 1994 : proceedings

Automata, languages and programming 23rd International Colloquium, ICALP'96 Paderborn, Germany, July 1996 proceedings

Automata, languages and programming 35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11,2008 :proceedings, Part II

Language and automata theory and applications 5th International Conference, LATA 2011, Tarragona, Spain, May 26-31, 2011. Proceedings

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

Category theory applied to computation and control de réir Manes, E.G