By Arne Andersson, Jim Wilenius (auth.), Mogens Nielsen, Antonín Kučera, Peter Bro Miltersen, Catuscia Palamidessi, Petr Tůma, Fran
This ebook constitutes the refereed complaints of the thirty fifth convention on present developments in conception and perform of desktop technological know-how, SOFSEM 2009, held in � pindleruv Mlýn, Czech Republic, in January 2009.
The forty nine revised complete papers, provided including nine invited contributions, have been conscientiously reviewed and chosen from 132 submissions. SOFSEM 2009 used to be geared up round the following 4 tracks: Foundations of laptop technology; conception and perform of software program providers; video game Theoretic features of E-commerce; and methods and instruments for Formal Verification.