000 02033nam a22004575a 4500
005 20250918002002.0
006 m d
007 cr nn 008maaau
008 090205s2007 gw q j eng d
020 _a9783540770503 (electronic bk.)
020 _a9783540770497 (paper)
035 _a(Springer)978-3-540-77049-7
039 9 _y02-05-2009
_zmuhaimin
082 0 4 _a005
_220
090 _aQA76.751
_b.C748 2007
111 2 _aConference on Foundations of Software Technology and Theoretical Computer Science
_n(27th :
_d2007 :
_cNew Delhi, India)
245 1 0 _aFSTTCS 2007
_h[electronic resource] :
_bfoundations of software technology and theoretical computer science : 27th international conference, New Delhi, India, December 12-14, 2007 : proceedings /
_cV. Arvind, Sanjiva Prasad (eds.).
246 3 0 _aFoundations of software technology and theoretical computer science
246 1 4 _aFST and TCS
260 _aBerlin, Heidelberg :
_bSpringer-Verlag Berlin Heidelberg,
_c2007.
300 _a1online resource (xiv, 558 p.) :
_bill., digital ;
_c24 cm.
440 0 _aLecture notes in computer science,
_x0302-9743 ;
_v4855
440 0 _aLNCS sublibrary.
_nSL 1,
_pTheoretical computer science and general issues
504 _aIncludes bibliographical references and index.
530 _aAlso issued online.
650 0 _aSoftware engineering
_vCongresses.
650 0 _aComputer science
_vCongresses.
650 1 4 _aComputer Science.
650 2 4 _aAlgorithm Analysis and Problem Complexity.
700 1 _aArvind, V.
700 1 _aPrasad, Sanjiva.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer e-books
856 4 0 _uhttps://eresourcesptsl.ukm.remotexs.co/user/login?url=http://dx.doi.org/10.1007/978-3-540-77050-3
907 _a.b14397936
_b2025-03-20
_c2019-11-12
942 _n0
_kQA76.751 .C748 2007
914 _avtls003398793
998 _ae
_b2009-05-02
_cm
_dz
_feng
_ggw
_y0
_z.b14397936
999 _c434525
_d434525