Editors:
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 5404)
Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)
Conference series link(s): SOFSEM: International Conference on Current Trends in Theory and Practice of Computer Science
Conference proceedings info: SOFSEM 2009.
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (58 papers)
-
Front Matter
-
Invited Talks
-
Regular Papers
About this book
This book constitutes the refereed proceedings of the 35th Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2009, held in Špindleruv Mlýn, Czech Republic, in January 2009.
The 49 revised full papers, presented together with 9 invited contributions, were carefully reviewed and selected from 132 submissions. SOFSEM 2009 was organized around the following four tracks: Foundations of Computer Science; Theory and Practice of Software Services; Game Theoretic Aspects of E-commerce; and Techniques and Tools for Formal Verification.
Editors and Affiliations
-
Aarhus Graduate School of Science, University of Aarhus, Aarhus C, Denmark
Mogens Nielsen
-
Faculty of Informatics, Masaryk University, Brno, Czech Republic
Antonín Kučera
-
Department of Computer Science, University of Aarhus, Aarhus N., Denmark
Peter Bro Miltersen
-
Ecole Polytechnique, Palaiseau Cedex, France
Catuscia Palamidessi, Frank Valencia
-
Faculty of Mathematics and Physics, Charles University, Prague 1, Czech Republic
Petr Tůma
Bibliographic Information
Book Title: SOFSEM 2009: Theory and Practice of Computer Science
Book Subtitle: 35th Conference on Current Trends in Theory and Practice of Computer Science, Špindleruv Mlýn, Czech Republic, January 24-30, 2009. Proceedings
Editors: Mogens Nielsen, Antonín Kučera, Peter Bro Miltersen, Catuscia Palamidessi, Petr Tůma, Frank Valencia
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-540-95891-8
Publisher: Springer Berlin, Heidelberg
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer-Verlag Berlin Heidelberg 2009
Softcover ISBN: 978-3-540-95890-1Published: 12 January 2009
eBook ISBN: 978-3-540-95891-8Published: 23 January 2009
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XVII, 670
Topics: Theory of Computation, Database Management, Programming Techniques, System Performance and Evaluation, Data Mining and Knowledge Discovery, Information Storage and Retrieval