000 01907nam a2200481 a 4500
005 20250919174703.0
006 m d
007 cr nn 008maaau
008 100623s2009 gw j eng d
020 _a9783642020179 (electronic bk.)
035 _a(Springer)978-3-642-02016-2
039 9 _y06-23-2010
_zmuhaimin
050 4 _aQA267.7
_b.T36 2009
082 0 4 _a004.0151
_222
090 _aQA267.7
_b.T156 2009
111 2 _aTAMC 2009
_d(2009 :
_cChangsha, China)
245 1 0 _aTheory and applications of models of computation
_h[electronic resource] :
_b6th international conference, TAMC 2009, Changsha, China, May 18-22, 2009 ; proceedings /
_cedited by Jianer Chen, S. Barry Cooper.
246 3 0 _aModels of computation
246 3 0 _aTAMC 2009
260 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c2009.
300 _axiv, 482 p. :
_bill., digital ;
_c24 cm.
440 0 _aLecture notes in computer science,
_x0302-9743 ;
_v5532
650 0 _aComputational complexity
_vCongresses.
650 0 _aComputable functions
_vCongresses.
650 2 _aMathematics of Computing.
650 2 _aDiscrete Mathematics in Computer Science.
650 2 _aMathematical Logic and Formal Languages.
650 2 _aLogics and Meanings of Programs.
650 2 _aAlgorithm Analysis and Problem Complexity.
650 1 _aComputer Science.
650 2 _aTheory of Computation.
700 1 _aChen, Jianer.
700 1 _aCooper, S. B
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
856 4 0 _uhttps://eresourcesptsl.ukm.remotexs.co/user/login?url=http://dx.doi.org/10.1007/978-3-642-02017-9
907 _a.b1474823x
_b2024-03-13
_c2019-11-12
942 _n0
_kQA267.7 .T156 2009
914 _avtls003435746
998 _ae
_b2010-10-06
_cm
_dz
_feng
_ggw
_y0
_z.b1474823x
999 _c678306
_d678306