SOFSEM 2009: Theory and Practice of Computer Science 35th Conference on Current Trends in Theory and Practice of Computer Science, `pindlerov Ml<U+00fd>n, Czech Republic, January 24-30, 2009. Proceedings /

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<U+00fd>n, Czech Republic, in January 2009. The 49 revised full papers, presented together with 9 invited contributions, were ca...

Full description

Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Nielsen, Mogens. (Editor), Ku era, Antonn̕. (Editor), Miltersen, Peter Bro. (Editor), Palamidessi, Catuscia. (Editor), Toma, Petr. (Editor), Valencia, Frank. (Editor)
Format: Electronic
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
Series:Lecture Notes in Computer Science, 5404
Subjects:
Online Access:https://ezaccess.library.uitm.edu.my/login?url=http://dx.doi.org/10.1007/978-3-540-95891-8
Description
Summary: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<U+00fd>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.
Physical Description:online resource.
ISBN:9783540958918
ISSN:0302-9743 ;