| Record ID | harvard_bibliographic_metadata/ab.bib.13.20150123.full.mrc:311135416:1462 |
| Source | harvard_bibliographic_metadata |
| Download Link | /show-records/harvard_bibliographic_metadata/ab.bib.13.20150123.full.mrc:311135416:1462?format=raw |
LEADER: 01462nam a22003855a 4500
001 013276075-4
005 20120706200226.0
008 120503s2012 gw | s ||0| 0|eng d
020 $a9783642299520$99783642299520 (ebk.)
020 $a9783642299520
024 7 $a10.1007/978-3-642-29952-0$2doi
035 $a(Springer)9783642299520
040 $aSpringer
100 1 $aAgrawal, Manindra.
245 10 $aTheory and Applications of Models of Computation :$b9th Annual Conference, TAMC 2012, Beijing, China, May 16-21, 2012. Proceedings /$cedited by Manindra Agrawal, S. Barry Cooper, Angsheng Li.
260 $aBerlin, Heidelberg :$bSpringer Berlin Heidelberg,$c2012.
490 0 $aLecture Notes in Computer Science,$x0302-9743 ;$v7287
650 10 $aComputer science.
650 0 $aData structures (Computer science)
650 0 $aComputer science.
650 0 $aInformation theory.
650 0 $aComputer software.
650 0 $aLogic design.
650 24 $aTheory of Computation.
650 24 $aMathematics of Computing.
650 24 $aAlgorithm Analysis and Problem Complexity.
650 24 $aLogics and Meanings of Programs.
650 24 $aData Structures, Cryptology and Information Theory.
650 24 $aMathematical Logic and Formal Languages.
700 1 $aCooper, S. Barry.
700 1 $aLi, Angsheng.
776 08 $iPrinted edition:$z9783642299513
830 0 $aLecture notes in computer science ;$v7287.
988 $a20120629
906 $0VEN