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
Herausgegeben:Nielsen, Mogens; Kucera, Antonin; Bro Miltersen, Peter; Palamidessi, Catuscia; Tuma, Petr; Valencia, Frank
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
Herausgegeben:Nielsen, Mogens; Kucera, Antonin; Bro Miltersen, Peter; Palamidessi, Catuscia; Tuma, Petr; Valencia, Frank
- Broschiertes Buch
- Merkliste
- Auf die Merkliste
- Bewerten Bewerten
- Teilen
- Produkt teilen
- Produkterinnerung
- Produkterinnerung
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.
- Epaminondas Kapetanios / Vijayan Sugumaran / Myra Spiliopoulou (eds.)Natural Language and Information Systems39,99 €
- Lubos Brim / Petr Jancar / Mojmir Krstinksy / Antonin Kucera (eds.)CONCUR 2002 - Concurrency Theory77,99 €
- Javier Esparza / Charles Lakos (eds.)Application and Theory of Petri Nets 200239,99 €
- William I. Grosky / Frantisek Plasil (eds.)SOFSEM 2002: Theory and Practice of Informatics39,99 €
- Martín Abadi / Luca de Alfaro (eds.)CONCUR 2005 - Concurrency Theory39,99 €
- GecsegFundamentals of Computation Theory37,99 €
- Ramesh Hariharan / Madhavan Mukund / V. Vinay (eds.)FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science39,99 €
-
-
-
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.
- Produktdetails
- Theoretical Computer Science and General Issues 5404
- Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
- Artikelnr. des Verlages: 12601028, 978-3-540-95890-1
- 2009
- Seitenzahl: 692
- Erscheinungstermin: 12. Januar 2009
- Englisch
- Abmessung: 235mm x 155mm x 37mm
- Gewicht: 1044g
- ISBN-13: 9783540958901
- ISBN-10: 3540958908
- Artikelnr.: 25700722
- Theoretical Computer Science and General Issues 5404
- Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
- Artikelnr. des Verlages: 12601028, 978-3-540-95890-1
- 2009
- Seitenzahl: 692
- Erscheinungstermin: 12. Januar 2009
- Englisch
- Abmessung: 235mm x 155mm x 37mm
- Gewicht: 1044g
- ISBN-13: 9783540958901
- ISBN-10: 3540958908
- Artikelnr.: 25700722