| Record ID | harvard_bibliographic_metadata/ab.bib.12.20150123.full.mrc:819575943:1193 |
| Source | harvard_bibliographic_metadata |
| Download Link | /show-records/harvard_bibliographic_metadata/ab.bib.12.20150123.full.mrc:819575943:1193?format=raw |
LEADER: 01193nam a22003255a 4500
001 012925917-9
005 20111114193109.0
008 110824s2011 xx |0| 0 eng d
020 $a9783642232831 (ebk.)
020 $a9783642232824
035 $a(Springer)9783642232824
040 $aSpringer
100 1 $aCerone, Antonio.
245 10 $aTheoretical Aspects of Computing – ICTAC 2011 :$b8th International Colloquium, Johannesburg, South Africa, August 31 – September 2, 2011. Proceedings /$cedited by Antonio Cerone, Pekka Pihlajasaari.
260 $aBerlin, Heidelberg :$bSpringer-Verlag GmbH Berlin Heidelberg,$c2011.
300 $bv.: digital
650 24 $aAlgorithm Analysis and Problem Complexity.
650 20 $aSoftware engineering.
650 24 $aMathematical Logic and Formal Languages.
650 24 $aLogics and Meanings of Programs.
650 24 $aComputation by Abstract Devices.
650 10 $aComputer science.
650 0 $aLogic design.
650 0 $aComputer software.
650 0 $aSoftware engineering.
650 0 $aComputer science.
700 1 $aPihlajasaari, Pekka.
830 0 $aLecture notes in computer science ;$v6916.
988 $a20111005
906 $0VEN