000 01773nam a22004215a 4500
005 20250914173353.0
006 m d
007 cr nn 008maaau
008 090204s2007 gw j eng d
020 _a9783540709183 (electronic bk.)
035 _a(Springer)978-3-540-70917-6
039 9 _a200902042120
_bmuhaimin
_y04-07-2008
_zmuhaimin
082 0 0 _a004
_222
111 2 _aSymposium on Theoretical Aspects of Computer Science
_n(24th :
_d2007 :
_cAachen, Germany)
245 1 0 _aSTACS 2007
_h[electronic resource] :
_b24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007. Proceedings /
_cedited by Wolfgang Thomas, Pascal Weil.
260 _aBerlin, Heidelberg :
_bSpringer-Verlag Berlin Heidelberg,
_c2007.
300 _axviii, 705 p. :
_bill., digital.
440 0 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v4393
650 0 _aComputer science
_vCongresses.
650 1 4 _aComputer Science.
650 2 4 _aComputation by Abstract Devices.
650 2 4 _aAlgorithm Analysis and Problem Complexity.
650 2 4 _aLogics and Meanings of Programs.
650 2 4 _aMathematical Logic and Formal Languages.
650 2 4 _aData Structures.
650 2 4 _aDiscrete Mathematics in Computer Science.
700 1 _aThomas, Wolfgang.
700 1 _aWeil, Pascal.
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-70918-3
907 _a.b1416503x
_b2024-12-12
_c2019-11-12
942 _n0
914 _avtls003374157
998 _ae
_b2008-07-04
_cm
_dz
_feng
_ggw
_y0
_z.b1416503x
999 _c412078
_d412078