| Type |  Book |
| ชื่อเรื่อง | How the World Computes [electronic resource] : Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedings / edited by S. Barry Cooper, Anuj Dawar, Benedikt Löwe |
| ISBN | 9783642308703 |
| | 9783642308697 |
| พิมพลักษณ์ | Berlin, Heidelberg : Springer Berlin Heidelberg, c2012 |
| รูปเล่ม | 1 online resource |
| หัวเรื่อง | Symbolic and algebraic manipulation |
| | Algebra --Data processing [] |
| | Algorithm analysis and problem complexity |
| | Computation by abstract devices |
| | Computational complexity |
| | Computer science |
| | Computer science |
| | Computer software |
| | Congresses |
| | Discrete mathematics in computer science |
| | Electronic books |
| | Logic, Symbolic and mathematical |
| | Mathematical logic and foundations |