Normal view MARC view ISBD view

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.).

By: (5th : International Computer Science Symposium in Russia (5th : 2010 : Kazan, Russia).
Contributor(s): Ablayev, Farid [editor] | Mayr, Ernst [editor].
Material type: materialTypeLabelBookSeries: Lecture notes in computer science, 6072; LNCS sublibrary: SL 1-theoretical computer science and general issues.Copyright date: Berlin ; New York : Springer, c2010Edition: First Edition.Description: xi, 396 pages. : illustration ; 24 cm.ISBN: 9783642131813 .Subject(s): Computer science -- Congresses | Computer science -- Russia (Federation) -- CongressesDDC classification: 004.0151 Also issued online.
Partial contents:
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.
Tags from this library: No tags from this library for this title. Log in to add tags.
    average rating: 0.0 (0 votes)
Item type Current location Call number Copy number Status Date due Item holds
Libro académico Libro académico Biblioteca del Campus
004.0151 C7386 2010 (Browse shelf) Ej. 1 Available
Libro académico Libro académico Biblioteca del Campus
004.0151 C7386 2010 (Browse shelf) Ej. 2 Available
Libro académico Libro académico Biblioteca del Campus
004.0151 C7386 2010 (Browse shelf) Ej. 3 Available
Total holds: 0

Includes index.

Includes bibliographical references.

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.

There are no comments for this item.

Log in to your account to post a comment.