Computer science-- theory and applications :
Computer science-- theory and applications : 5th International Computer Science Symposium in Russia, CSR 2010, Kazan, Russia, June 16-20, 2010 : proceedings /
Farid Ablayev, Ernst W. Mayr (eds.).
- Berlin ; New York : Springer, c2010.
- xi, 396 pages. : illustration ; 24 cm.
- Lecture notes in computer science, 6072 0302-9743 ; LNCS sublibrary: SL 1-theoretical computer science and general issues .
Includes bibliographical references and index.
Algorithms for Energy Management -- Sofic and Almost of Finite Type Tree-Shifts -- Proof-Based Design of Security Protocols -- Approximating the Minimum Length of Synchronizing Words Is Hard -- Realizability of Dynamic MSC Languages
9783642131813
Computer science--Congresses.
Computer science--Russia (Federation)--Congresses.
004.0151
Includes bibliographical references and index.
Algorithms for Energy Management -- Sofic and Almost of Finite Type Tree-Shifts -- Proof-Based Design of Security Protocols -- Approximating the Minimum Length of Synchronizing Words Is Hard -- Realizability of Dynamic MSC Languages
9783642131813
Computer science--Congresses.
Computer science--Russia (Federation)--Congresses.
004.0151