Stacs th Annual Symposium on Theoretical Aspects of
            
            ISBN: , SKU: , AUTHOR: Reichel, H. / Tison, S. / Reichel, Horst, PUBLISHER: Springer, This book constitutes the refereed proceedings of the 17th Annual Symposium on Theoretical Aspects of Computer Science, STACS , held in Lille, France in February . The 51 revised full papers presented together with the three invited papers were carefully reong>viewong>ed and selected ong>fromong> a total of 146 submissions on the basis of some 700 reong>viewong>ers' reports. The papers address fundamental issues ong>fromong> all current areas of theoretical computer science including algorithms, data structures, automata, formal languages, complexity, verification, logic, cryptography, graph theory, optimization, etc.