Catalog

Record Details

Catalog Search



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  Cover Image E-book E-book

Computation, Physics and Beyond [electronic resource] : 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.

Record details

  • ISBN: 9783642276545
  • Physical Description: XIII, 427p. 64 illus. online resource.
  • Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.
Subject: 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.

Electronic resources


LDR 02062nam a22004815i 4500
00141347
003CONS
00520130726204923.0
007cr nn 008mamaa
008120215s2012 gw | s |||| 0|eng d
020 . ‡a9783642276545 ‡9978-3-642-27654-5
0247 . ‡a10.1007/978-3-642-27654-5 ‡2doi
035 . ‡a(DE-He213)978-3-642-27654-5
050 4. ‡aQA76.9.A43
072 7. ‡aUMB ‡2bicssc
072 7. ‡aCOM051300 ‡2bisacsh
1001 . ‡aDinneen, Michael J. ‡eeditor.
24510. ‡aComputation, Physics and Beyond ‡h[electronic resource] : ‡bInternational 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 / ‡cedited by Michael J. Dinneen, Bakhadyr Khoussainov, André Nies.
264 1. ‡aBerlin, Heidelberg : ‡bSpringer Berlin Heidelberg, ‡c2012.
300 . ‡aXIII, 427p. 64 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 ; ‡v7160
650 0. ‡aComputer science.
650 0. ‡aInformation theory.
650 0. ‡aComputer software.
650 0. ‡aLogic design.
65014. ‡aComputer Science.
65024. ‡aAlgorithm Analysis and Problem Complexity.
65024. ‡aMathematical Logic and Formal Languages.
65024. ‡aComputation by Abstract Devices.
65024. ‡aLogics and Meanings of Programs.
65024. ‡aMathematics of Computing.
65024. ‡aTheory of Computation.
7001 . ‡aKhoussainov, Bakhadyr. ‡eeditor.
7001 . ‡aNies, André. ‡eeditor.
7102 . ‡aSpringerLink (Online service)
7730 . ‡tSpringer eBooks
77608. ‡iPrinted edition: ‡z9783642276538
830 0. ‡aLecture Notes in Computer Science, ‡x0302-9743 ; ‡v7160
85640. ‡uhttp://biblioteca.ipicyt.edu.mx:2048/login?url=http://dx.doi.org/10.1007/978-3-642-27654-5 ‡yTexto completo ‡9CONS
950 . ‡aComputer Science (Springer-11645)
901 . ‡a41347 ‡b ‡c41347 ‡tbiblio ‡sSystem Local

Additional Resources