Catalog

Record Details

Catalog Search



How the World Computes Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedings  Cover Image E-book E-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.

Cooper, S. Barry. (editor.). Dawar, Anuj. (editor.). Löwe, Benedikt. (editor.). SpringerLink (Online service) (Added Author).

Electronic resources


LDR 01994nam a22004815i 4500
00141848
003CONS
00520130727034811.0
007cr nn 008mamaa
008120528s2012 gw | s |||| 0|eng d
020 . ‡a9783642308703 ‡9978-3-642-30870-3
0247 . ‡a10.1007/978-3-642-30870-3 ‡2doi
035 . ‡a(DE-He213)978-3-642-30870-3
050 4. ‡aQA75.5-76.95
072 7. ‡aUYZG ‡2bicssc
072 7. ‡aCOM037000 ‡2bisacsh
1001 . ‡aCooper, S. Barry. ‡eeditor.
24510. ‡aHow the World Computes ‡h[electronic resource] : ‡bTuring Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedings / ‡cedited by S. Barry Cooper, Anuj Dawar, Benedikt Löwe.
264 1. ‡aBerlin, Heidelberg : ‡bSpringer Berlin Heidelberg, ‡c2012.
300 . ‡aXVIII, 756p. 42 illus. ‡bonline resource.
336 . ‡atext ‡btxt ‡2rdacontent
337 . ‡acomputer ‡bc ‡2rdamedia
338 . ‡aonline resource ‡bcr ‡2rdacarrier
347 . ‡atext file ‡bPDF ‡2rda
4901 . ‡aLecture Notes in Computer Science, ‡x0302-9743 ; ‡v7318
650 0. ‡aComputer science.
650 0. ‡aComputer software.
650 0. ‡aComputational complexity.
650 0. ‡aAlgebra ‡xData processing.
650 0. ‡aLogic, Symbolic and mathematical.
65014. ‡aComputer Science.
65024. ‡aComputation by Abstract Devices.
65024. ‡aAlgorithm Analysis and Problem Complexity.
65024. ‡aDiscrete Mathematics in Computer Science.
65024. ‡aSymbolic and Algebraic Manipulation.
65024. ‡aMathematical Logic and Foundations.
7001 . ‡aDawar, Anuj. ‡eeditor.
7001 . ‡aLöwe, Benedikt. ‡eeditor.
7102 . ‡aSpringerLink (Online service)
7730 . ‡tSpringer eBooks
77608. ‡iPrinted edition: ‡z9783642308697
830 0. ‡aLecture Notes in Computer Science, ‡x0302-9743 ; ‡v7318
85640. ‡uhttp://biblioteca.ipicyt.edu.mx:2048/login?url=http://dx.doi.org/10.1007/978-3-642-30870-3 ‡yTexto completo ‡9CONS
950 . ‡aComputer Science (Springer-11645)
901 . ‡a41848 ‡b ‡c41848 ‡tbiblio ‡sSystem Local

Additional Resources