Theoretical Computer Science and General Issues

Computer Science - Theory and Applications

8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013, Proceedings

Editors: Bulatov, Andrei A., Shur, Arseny M. (Eds.)

  • Conference proceedings of the International Computer Science Symposium in Russia, CSR 2013

Buy this book

eBook $69.99
price for USA (gross)
  • ISBN 978-3-642-38536-0
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $95.00
price for USA
  • ISBN 978-3-642-38535-3
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

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.

Table of contents (37 chapters)

  • The Lovász Local Lemma – A Survey

    Szegedy, Mario

    Pages 1-11

  • An Improved Knapsack Solver for Column Generation

    Jansen, Klaus (et al.)

    Pages 12-23

  • QuickHeapsort: Modifications and Improved Analysis

    Diekert, Volker (et al.)

    Pages 24-35

  • Alphabetic Minimax Trees in Linear Time

    Gawrychowski, Paweł

    Pages 36-48

  • Decidability and Enumeration for Automatic Sequences: A Survey

    Shallit, Jeffrey

    Pages 49-63

Buy this book

eBook $69.99
price for USA (gross)
  • ISBN 978-3-642-38536-0
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $95.00
price for USA
  • ISBN 978-3-642-38535-3
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Computer Science - Theory and Applications
Book Subtitle
8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013, Proceedings
Editors
  • Andrei A. Bulatov
  • Arseny M. Shur
Series Title
Theoretical Computer Science and General Issues
Series Volume
7913
Copyright
2013
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-642-38536-0
DOI
10.1007/978-3-642-38536-0
Softcover ISBN
978-3-642-38535-3
Edition Number
1
Number of Pages
XII, 445
Number of Illustrations and Tables
55 b/w illustrations
Topics