Cover Image

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

Full description

Corporate Author: SpringerLink (Online service)
Other Authors: Bulatov, Andrei A. (Editor, http://id.loc.gov/vocabulary/relators/edt), Shur, Arseny M. (Editor, http://id.loc.gov/vocabulary/relators/edt)
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
Edition:1st ed. 2013.
Series:Theoretical Computer Science and General Issues ; 7913
Subjects:
Algorithms.
Computer logic.
Computers.
Computer science—Mathematics.
Mathematical logic.
Algorithm Analysis and Problem Complexity.
Logics and Meanings of Programs.
Computation by Abstract Devices.
Discrete Mathematics in Computer Science.
Mathematical Logic and Formal Languages.
Online Access:https://doi.org/10.1007/978-3-642-38536-0
Summary: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.
Physical Description:XII, 445 p. 55 illus. online resource.
ISBN:9783642385360

Similar Items