Computer science - theory and applications : 8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013. Proceedings /

This book constitutes the proceedings of the 8th International Computer Science Symposium in Russia, CSR 2013, held in Ekaterinburg, Russia, in June 2013. The 29 full papers presented in this volume were carefully reviewed and selected from 52 submissions. In addition the book contains 8 invited lec...

Descripció completa

Guardat en:
Dades bibliogràfiques
Autor corporatiu: SpringerLink (Online service)
Altres autors: Shur, Arseny M., Bulatov, Andrei A.
Format: eBook
Idioma:English
Publicat: Berlin, Heidelberg Springer Berlin Heidelberg 2013.
Col·lecció:Lecture Notes in Computer Science 7913
Matèries:
Accés en línia:Click here to view the full text content
Etiquetes: Afegir etiqueta
Sense etiquetes, Sigues el primer a etiquetar aquest registre!
Descripció
Sumari:This book constitutes the proceedings of the 8th International Computer Science Symposium in Russia, CSR 2013, held in Ekaterinburg, Russia, in June 2013. The 29 full papers presented in this volume were carefully reviewed and selected from 52 submissions. In addition the book contains 8 invited lectures. The papers are organized in topical sections on: algorithms; automata; logic and proof complexity; complexity; words and languages; and logic and automata.
Descripció física:1 online resource (XII, 445 pages) 55 illustration. digital
ISBN:9783642385360
ISSN:0302-9743