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.).
Tipo de material: TextoSeries Lecture notes in computer science ; 6072 | LNCS sublibrary: SL 1-theoretical computer science and general issuesDetalles de publicación: Berlin ; New York : Springer, c2010.Descripción: xi, 396 pages. : illustration ; 24 cmISBN:- 9783642131813
- 23 004.0151
- Also issued online.
Contenidos parciales:
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
Tipo de ítem | Biblioteca actual | Signatura | Copia número | Estado | Fecha de vencimiento | Código de barras | Reserva de ítems | |
---|---|---|---|---|---|---|---|---|
Colección general | Biblioteca Yachay Tech | 004.0151 C7386 2010 (Navegar estantería(Abre debajo)) | Ej. 1 | Disponible | 002939 | |||
Colección general | Biblioteca Yachay Tech | 004.0151 C7386 2010 (Navegar estantería(Abre debajo)) | Ej. 2 | Disponible | 002940 | |||
Colección general | Biblioteca Yachay Tech | 004.0151 C7386 2010 (Navegar estantería(Abre debajo)) | Ej. 3 | Disponible | 002941 |
Total de reservas: 0
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
Also issued online.
No hay comentarios en este titulo.
Ingresar a su cuenta para colocar un comentario.