2005

Alan Turing's automatic computing engine : the master codebreaker's struggle to build the modern computer

United States : OXFORD UNIVERSITY PRESS (NC), 2005

Request It 

2008

Computational complexity : a conceptual perspective

Goldreich, Oded.



 

1999

Machines and thought

Oxford : Oxford University Press, 1999

Request It 

2007

Machines, computations, and universality : 5th international conference, MCU 2007, Orleans, France, September 10-13, 2007 : proceedings

MCU 2007 (2007 : Orléans, France)



 

2012

Theory and applications of models of computation : 9th annual conference, TAMC 2012, Beijing, China, May 16-21, 2012 : proceedings

TAMC (Conference) (9th : 2012 : Beijing, China)



 

2013

Theory and applications of models of computation : 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013 : proceedings

TAMC (Conference) (10th : 2013 : Hong Kong, China)



 

2014

Theory and applications of models of computation : 11th Annual Conference, TAMC 2014, Chennai, India, April 11-13, 2014. Proceedings

TAMC (Conference) (11th : 2014 : Chennai, India)

Cham : Springer, 2014

 

2015

Theory and applications of models of computation : 12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015, Proceedings

TAMC (Conference) (12th : 2015 : Singapore)

Cham : Springer, 2015

 

2017

Theory and applications of models of computation : 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings

TAMC (Conference) (14th : 2017 : Bern, Switzerland)

Cham, Switzerland : Springer, 2017

 

2019

Theory and applications of models of computation : 15th Annual Conference, TAMC 2019, Kitakyushu, Japan, April 13?16, 2019, Proceedings

TAMC (Conference) (15th : 2019 : Kitakyūshū-shi, Japan)

Cham, Switzerland : Springer, 2019

 

2016

Turing machine universality of the game of life

Rendell, Paul, author.

Cham : Springer, 2016

 

1994

Turing machines with sublogarithmic space

 

1965

The undecidable : basic papers on undecidable propositions, unsolvable problems and computable functions

Davis, Martin, 1928- editor

Hewlett, N.Y. : Raven Press, [1965]

Request It