SOFSEM 2009: Theory and Practice of Computer Science: 35th Conference on Current Trends in Theory and Practice of Computer Science, Špindleruv Mlın, ... (Lecture Notes in Computer Science, 5404) - Softcover

Softcover

ISBN 10: 3540958908 ISBN 13: 9783540958901

Publisher: Springer, 2009

Synopsis

This book constitutes the refereed proceedings of the 35th Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2009, held in spindleruv 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.

About this title

From the Back Cover

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.

Edition details

• Publisher: Springer
• Publication date: 2009
• Language: English
• ISBN 10: 3540958908
• ISBN 13: 9783540958901
• Binding: Paperback
• Number of pages: 687
• Editor: Nielsen Mogens, Kucera Antonin, Bro Miltersen Peter, Palamidessi Catuscia, Tuma Petr, Valencia Frank