SOFSEM 2009: Theory and Practice of Computer Science SOFSEM 2009: Theory and Practice of Computer Science

SOFSEM 2009: Theory and Practice of Computer Science

Mogens Nielsen and Others
    • $119.99
    • $119.99

Publisher Description

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.

GENRE
Computers & Internet
RELEASED
2009
January 23
LANGUAGE
EN
English
LENGTH
687
Pages
PUBLISHER
Springer Berlin Heidelberg
SELLER
Springer Nature B.V.
SIZE
9.5
MB

More Books Like This

CONCUR 2011 -- Concurrency Theory CONCUR 2011 -- Concurrency Theory
CONCUR 2011 -- Concurrency Theory
2011
Automata, Languages and Programming Automata, Languages and Programming
Automata, Languages and Programming
2010
Reachability Problems Reachability Problems
Reachability Problems
2011
Automated Technology for Verification and Analysis Automated Technology for Verification and Analysis
Automated Technology for Verification and Analysis
2009
Theoretical Aspects of Computing – ICTAC 2022 Theoretical Aspects of Computing – ICTAC 2022
Theoretical Aspects of Computing – ICTAC 2022
2022
Foundations of Software Science and Computational Structures Foundations of Software Science and Computational Structures
Foundations of Software Science and Computational Structures
2009