Computer Science - Theory and Applications : 6th International Computer Science Symposium in Russia, CSR 2011, St. Petersburg, Russia, June 14-18, 2011. Proceedings / edited by Alexander Kulikov, Nikolay Vereshchagin.

Format:

Book

Contributor:

Kulikov, Alexander, editor.

Vereshchagin, Nikolai Konstantinovich, 1958- editor.

SpringerLink (Online service)

Series:

Computer Science (Springer-11645)

LNCS sublibrary. Theoretical computer science and general issues ; SL 1, 6651.

Theoretical Computer Science and General Issues ; 6651

Language:

English

Subjects (All):

Algorithms.

Computer logic.

Logic, Symbolic and mathematical.

Computer science--Mathematics.

Computer science.

Computers.

Algorithm Analysis and Problem Complexity.

Logics and Meanings of Programs.

Mathematical Logic and Formal Languages.

Discrete Mathematics in Computer Science.

Computation by Abstract Devices.

Mathematics of Computing.

Local Subjects:

Algorithm Analysis and Problem Complexity.

Logics and Meanings of Programs.

Mathematical Logic and Formal Languages.

Discrete Mathematics in Computer Science.

Computation by Abstract Devices.

Mathematics of Computing.

Physical Description:

1 online resource (XI, 471 pages).

Edition:

First edition 2011.

Contained In:

Springer eBooks

Place of Publication:

Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011.

System Details:

text file PDF

Summary:

This book constitutes the proceedings of the 6th International Computer Science Symposium in Russia, CSR 2011, held in St. Petersburg, Russia, in June 2011. The 29 papers presented were carefully reviewed and selected from 76 submissions. The scope of topics of the symposium was quite broad and covered basically all areas of the foundations of theoretical computer science.

Other Format:

Printed edition:

ISBN:

978-3-642-20712-9

9783642207129

Access Restriction:

Restricted for use by site license.