000 01830nam a22004215a 4500
005 20251203165216.0
006 m q d
007 cr nn 008maaau
008 090205s2007 gw q j eng d
020 _a9783540744566 (electronic bk.)
020 _a9783540744559 (paper)
035 _a(Springer)978-3-540-74455-9
039 9 _a200902050905
_bmuhaimin
_c200804042129
_dshai
_y04-04-2008
_zmuhaimin
090 _aQA76.9.M35
_bS989 2007
111 2 _aSymposium on Mathematical Foundations of Computer Science (1972- )
_n(32nd :
_d2007 :
_cesky Krumlov, Czech Republic)
245 1 0 _aMathematical Foundations of Computer Science 2007
_h[electronic resource] :
_b32nd International Symposium, MFCS 2007 Cesky Krumlov, Czech Republic, August 26-31, 2007 Proceedings /
_cedited by Ludek Kucera, Antonin Kucera.
260 _aBerlin, Heidelberg :
_bSpringer-Verlag Berlin Heidelberg,
_c2007.
300 _a764 p. :
_bill., digital ;
_c24 cm.
440 0 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v4708
650 1 4 _aComputer Science.
650 2 4 _aAlgorithm Analysis and Problem Complexity.
650 2 4 _aAlgorithms.
650 2 4 _aComputation by Abstract Devices.
650 2 4 _aData Structures.
650 2 4 _aDiscrete Mathematics in Computer Science.
650 2 4 _aLogics and Meanings of Programs.
700 1 _aKucera, Ludek.
700 1 _aKucera, Antonin.
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-74456-6
907 _a.b14159284
_b2021-06-25
_c2019-11-12
914 _avtls003373558
942 _n0
_kQA76.9.M35 S989 2007
_2lcc
998 _ae0001
_b2008-04-04
_cm
_da
_feng
_ggw
999 _c674601
_d674601