LEADER 03726nam  22007215  450 
001 996465321303316
005 20230329201502.0
010   $a3-642-30870-8
024 7 $a10.1007/978-3-642-30870-3
035   $a(CKB)3400000000085315
035   $a(SSID)ssj0000697512
035   $a(PQKBManifestationID)11943061
035   $a(PQKBTitleCode)TC0000697512
035   $a(PQKBWorkID)10691559
035   $a(PQKB)10147384
035   $a(DE-He213)978-3-642-30870-3
035   $a(MiAaPQ)EBC3070219
035   $a(PPN)168317907
035   $a(EXLCZ)993400000000085315
100   $a20120528d2012      u|             0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aHow the World Computes$b[electronic resource] $eTuring Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012, Proceedings /$fedited by Barry S. Cooper, Anuj Dawar, Benedikt Löwe
205   $a1st ed. 2012.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2012.
215   $a1 online resource (XVIII, 756 p. 42 illus.)
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v7318
300   $aInternational conference proceedings.
311   $a3-642-30869-4 
320   $aIncludes bibliographical references and author index.
330   $aThis book constitutes the refereed proceedings of the Turing Centenary Conference and the 8th Conference on Computability in Europe, CiE 2012, held in Cambridge, UK, in June 2012. The 53 revised papers presented together with 6 invited lectures were carefully reviewed and selected with an acceptance rate of under 29,8%. The CiE 2012 Turing Centenary Conference will be remembered as a historic event in the continuing development of the powerful explanatory role of computability across a wide spectrum of research areas. The papers presented at CiE 2012 represent the best of current research in the area, and forms a fitting tribute to the short but brilliant trajectory of Alan Mathison Turing. Both the conference series and the association promote the development of computability-related science, ranging over mathematics, computer science and applications in various natural and engineering sciences such as physics and biology, and also including the promotion of related non-scientific fields such as philosophy and history of computing.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v7318
606   $aComputer science
606   $aAlgorithms
606   $aComputer science?Mathematics
606   $aDiscrete mathematics
606   $aMathematical logic
606   $aTheory of Computation
606   $aAlgorithms
606   $aDiscrete Mathematics in Computer Science
606   $aSymbolic and Algebraic Manipulation
606   $aMathematical Logic and Foundations
615  0$aComputer science.
615  0$aAlgorithms.
615  0$aComputer science?Mathematics.
615  0$aDiscrete mathematics.
615  0$aMathematical logic.
615 14$aTheory of Computation.
615 24$aAlgorithms.
615 24$aDiscrete Mathematics in Computer Science.
615 24$aSymbolic and Algebraic Manipulation.
615 24$aMathematical Logic and Foundations.
676   $a004.0151
702   $aCooper$b Barry S$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aDawar$b Anuj$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aLöwe$b Benedikt$4edt$4http://id.loc.gov/vocabulary/relators/edt
906   $aBOOK
912   $a996465321303316
996   $aHow the World Computes$92831692
997   $aUNISA