TY - BOOK AU - Thomas,Wolfgang AU - Weil,Pascal ED - Symposium on Theoretical Aspects of Computer Science ED - SpringerLink (Online service) TI - STACS 2007: 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007. Proceedings SN - 9783540709183 (electronic bk.) U1 - 004 22 PY - 2007/// CY - Berlin, Heidelberg PB - Springer-Verlag Berlin Heidelberg KW - Computer science KW - Congresses KW - Computer Science KW - Computation by Abstract Devices KW - Algorithm Analysis and Problem Complexity KW - Logics and Meanings of Programs KW - Mathematical Logic and Formal Languages KW - Data Structures KW - Discrete Mathematics in Computer Science UR - https://eresourcesptsl.ukm.remotexs.co/user/login?url=http://dx.doi.org/10.1007/978-3-540-70918-3 ER -