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 (Redaktør), Mogens Nielsen (Redaktør), Antonin Kucera (Redaktør), Peter Bro Miltersen (Redaktør), Catuscia Palamidessi (Redaktør), Petr Tuma (Redaktør), Frank Valencia (Redaktør)

Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning

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.

Originalsprog	Engelsk

Forlag	Springer
Antal sider	132
ISBN (Trykt)	3-540-95890-8, 978-3-540-95890-1, 987-80-7383-059-3
DOI	https://doi.org/10.1007/978-3-540-95891-8
Status	Udgivet - 2009

Navn	Lecture Notes in Computer Science
Vol/bind	5404
ISSN	0302-9743

Adgang til dokumentet

10.1007/978-3-540-95891-8

Citationsformater

Bielikova, M., Nielsen, M., Kucera, A., Miltersen, P. B., Palamidessi, C., Tuma, P., & Valencia, F. (red.) (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 Bind 5404 https://doi.org/10.1007/978-3-540-95891-8

Bielikova, Maria (Redaktør) ; Nielsen, Mogens (Redaktør) ; Kucera, Antonin (Redaktør) 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 s. (Lecture Notes in Computer Science, Bind 5404).

@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 (red) 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, bind 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 (Redaktør); Nielsen, Mogens (Redaktør); Kucera, Antonin (Redaktør) et al.
Springer, 2009. 132 s. (Lecture Notes in Computer Science, Bind 5404).

Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning

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 s. (Lecture Notes in Computer Science, Bind 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

Adgang til dokumentet

Fingeraftryk

Citationsformater