Dinneen, Michael J. <br/><br/>
Computation, Physics and Beyond  International Workshop on Theoretical Computer Science, WTCS 2012, Dedicated to Cristian S. Calude on the Occasion of His 60th Birthday, Auckland, New Zealand, February 21-24, 2012, Revised Selected and Invited Papers / 
edited by Michael J. Dinneen, Bakhadyr Khoussainov, André Nies. 
 - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan 
<br/><br/><label>ISBN: </label>9783642276545 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science.; Information theory.; Computer software.; Logic design.; Computer Science.; Algorithm Analysis and Problem Complexity.; Mathematical Logic and Formal Languages.; Computation by Abstract Devices.; Logics and Meanings of Programs.; Mathematics of Computing.; Theory of Computation.