Concise guide to computation theory gan Maruoka, Akira

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

Models of computation in context 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011. Proceedings

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

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

Discrete structures, logic, and computability gan Hein, James L.

Automata, computability and complexity theory and applications gan Rich, Elaine

Models of computation an introduction to computability theory gan Fernández, Maribel

New computational paradigms changing conceptions of what is computable

New computational paradigms changing conceptions of what is computable

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

Automata, computability and complexity theory and applications gan Rich, Elaine