SOFSEM 2009: Theory and Practice of Computer Science: 35th Conference on Current Trends in Theory and Practice of Computer Science, Špindleruv Mlýn, Czech Republic, January 24-30, 2009. Proceedings

Maria Bielikova; Mogens Nielsen; Antonin Kucera; Peter Bro Miltersen; Catuscia Palamidessi; Petr Tuma; Frank Valencia

doi:10.1007/978-3-540-95891-8

SOFSEM 2009: Theory and Practice of Computer Science: 35th Conference on Current Trends in Theory and Practice of Computer Science, Špindleruv Mlýn, Czech Republic, January 24-30, 2009. Proceedings

Maria Bielikova (Editor), Mogens Nielsen (Editor), Antonin Kucera (Editor), Peter Bro Miltersen (Editor), Catuscia Palamidessi (Editor), Petr Tuma (Editor), Frank Valencia (Editor)

Research output: Book/anthology/dissertation/report › Anthology › Research

Abstract

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.

Original language	English

Publisher	Springer
Number of pages	132
ISBN (Print)	3-540-95890-8, 978-3-540-95890-1, 987-80-7383-059-3
DOIs	https://doi.org/10.1007/978-3-540-95891-8
Publication status	Published - 2009

Series	Lecture Notes in Computer Science
Volume	5404
ISSN	0302-9743

Access to Document

10.1007/978-3-540-95891-8

Cite this

Bielikova, M., Nielsen, M., Kucera, A., Miltersen, P. B., Palamidessi, C., Tuma, P., & Valencia, F. (Eds.) (2009). SOFSEM 2009: Theory and Practice of Computer Science: 35th Conference on Current Trends in Theory and Practice of Computer Science, Špindleruv Mlýn, Czech Republic, January 24-30, 2009. Proceedings. Springer. Lecture Notes in Computer Science Vol. 5404 https://doi.org/10.1007/978-3-540-95891-8

@book{e5567330039611dfb95d000ea68e967b,

title = "SOFSEM 2009: Theory and Practice of Computer Science: 35th Conference on Current Trends in Theory and Practice of Computer Science, {\v S}pindleruv Ml{\'y}n, Czech Republic, January 24-30, 2009. Proceedings",

abstract = "This book constitutes the refereed proceedings of the 35th Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2009, held in {\v S}pindleruv Ml{\'y}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.",

editor = "Maria Bielikova and Mogens Nielsen and Antonin Kucera and Miltersen, {Peter Bro} and Catuscia Palamidessi and Petr Tuma and Frank Valencia",

year = "2009",

doi = "10.1007/978-3-540-95891-8",

language = "English",

isbn = "3-540-95890-8",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

address = "Netherlands",

}

Bielikova, M, Nielsen, M, Kucera, A, Miltersen, PB, Palamidessi, C, Tuma, P & Valencia, F (eds) 2009, SOFSEM 2009: Theory and Practice of Computer Science: 35th Conference on Current Trends in Theory and Practice of Computer Science, Špindleruv Mlýn, Czech Republic, January 24-30, 2009. Proceedings. Lecture Notes in Computer Science, vol. 5404, Springer. https://doi.org/10.1007/978-3-540-95891-8

SOFSEM 2009: Theory and Practice of Computer Science: 35th Conference on Current Trends in Theory and Practice of Computer Science, Špindleruv Mlýn, Czech Republic, January 24-30, 2009. Proceedings. / Bielikova, Maria (Editor); Nielsen, Mogens (Editor); Kucera, Antonin (Editor) et al.
Springer, 2009. 132 p. (Lecture Notes in Computer Science, Vol. 5404).

Research output: Book/anthology/dissertation/report › Anthology › Research

TY - BOOK

T1 - SOFSEM 2009: Theory and Practice of Computer Science

T2 - 35th Conference on Current Trends in Theory and Practice of Computer Science, Špindleruv Mlýn, Czech Republic, January 24-30, 2009. Proceedings

A2 - Bielikova, Maria

A2 - Nielsen, Mogens

A2 - Kucera, Antonin

A2 - Miltersen, Peter Bro

A2 - Palamidessi, Catuscia

A2 - Tuma, Petr

A2 - Valencia, Frank

PY - 2009

Y1 - 2009

N2 - 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.

AB - 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.

U2 - 10.1007/978-3-540-95891-8

DO - 10.1007/978-3-540-95891-8

M3 - Anthology

SN - 3-540-95890-8

SN - 978-3-540-95890-1

SN - 987-80-7383-059-3

T3 - Lecture Notes in Computer Science

BT - SOFSEM 2009: Theory and Practice of Computer Science

PB - Springer

ER -

Bielikova M, (ed.), Nielsen M, (ed.), Kucera A, (ed.), Miltersen PB, (ed.), Palamidessi C, (ed.), Tuma P, (ed.) et al. SOFSEM 2009: Theory and Practice of Computer Science: 35th Conference on Current Trends in Theory and Practice of Computer Science, Špindleruv Mlýn, Czech Republic, January 24-30, 2009. Proceedings. Springer, 2009. 132 p. (Lecture Notes in Computer Science, Vol. 5404). doi: 10.1007/978-3-540-95891-8

SOFSEM 2009: Theory and Practice of Computer Science: 35th Conference on Current Trends in Theory and Practice of Computer Science, Špindleruv Mlýn, Czech Republic, January 24-30, 2009. Proceedings

Abstract

Access to Document

Fingerprint

Cite this