文档介绍：Texts in puter ScienceAn EATCS SeriesEditors: W. Brauer J. behalf of the European Associationfor puter Science (EATCS)Advisory Board:G. Ausiello M. Broy . Calude A. CondonD. Harel J. Hartmanis T. Henzinger T. LeightonM. Nivat C. Papadimitriou D. ScottSubir BandyopadhyayDisseminationof Informationin worksFrom Technology to AlgorithmsIn Cooperation with Ralf KlasingWith 95 Figures and 4 TablesAuthorSeries EditorsSubir Bandyopadhyay Prof. Dr. Wilfried BrauerSchool puter Science Institut für Informatik der TUMUniversity of Windsor Boltzmannstr. 3401 Sunset Avenue 85748 Garching, ******@- N9B 3P4, ******@. Dr. Juraj HromkoviˇcETHZentrumDepartment puter ScienceSwiss Federal Institute of Technology8092 Zürich, Switzerlandjuraj.******@. Dr. Grzegorz RozenbergLeiden Institute of puter ScienceUniversity of LeidenNiels Bohrweg 12333 CA Leiden, ******@. Dr. Arto SalomaaTurku Centre puter ScienceLemmink?isenkatu 14 A20520 Turku, ******@utu.?ISBN: 978-3-540-72874-0 e-ISBN: 978-3-540-72875-7Texts in puter Science. An EATCS Series. ISSN 1862-4499Library of Congress Control Number: puting Classi?cation (2008): , , , ?2008 Springer-Verlag Berlin HeidelbergThis work is subject to copyright. All rights are reserved, whether the whole or part of the materialis concerned, speci?cally the rights of translation, reprinting, reuseof illustrations, recitation, broad-casting, reproduction on micro?lm or in any other way, and storagein data banks. Duplication of thispublication or parts thereof is permitted only under the provisions of the German Copyright Law ofSeptember 9, 1965, in its current version, andpermission for use must always be obtained are liable for prosecution under the German Copyright use of general descriptive names, registered names, trademarks, etc. in this publication does no