Hundreds of Mathematics books at half price + FREE shipping! Get yours now >>

Theoretical Computer Science and General Issues

Computer Science – Theory and Applications

11th International Computer Science Symposium in Russia, CSR 2016, St. Petersburg, Russia, June 9-13, 2016, Proceedings

Editors: Kulikov, Alexander S., Woeginger, Gerhard J. (Eds.)

Buy this book

eBook $74.99
price for USA (gross)
  • ISBN 978-3-319-34171-2
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $94.00
price for USA
  • ISBN 978-3-319-34170-5
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

This book constitutes the proceedings of the 11th International Computer Science Symposium in Russia, CSR 2016, held in St. Petersburg, Russia, in June 2016.

The 28 full papers presented in this volume were carefully reviewed and selected from 71 submissions. In addition the book contains 4 invited lectures. The scope of the proposed topics is quite broad and covers a wide range of areas such as: include, but are not limited to: algorithms and data structures; combinatorial optimization; constraint solving; computational complexity; cryptography; combinatorics in computer science; formal languages and automata; computational models and concepts; algorithms for concurrent and distributed systems, networks; proof theory and applications of logic to computer science; model checking; automated reasoning; and deductive methods.

Table of contents (29 chapters)

  • On High-Quality Synthesis

    Kupferman, Orna

    Pages 1-15

  • Sensitivity Versus Certificate Complexity of Boolean Functions

    Ambainis, Andris (et al.)

    Pages 16-28

  • Algorithmic Decidability of Engel’s Property for Automaton Groups

    Bartholdi, Laurent

    Pages 29-40

  • The Next Whisky Bar

    Behrisch, Mike (et al.)

    Pages 41-56

  • Parameterizing Edge Modification Problems Above Lower Bounds

    Bevern, René (et al.)

    Pages 57-72

Buy this book

eBook $74.99
price for USA (gross)
  • ISBN 978-3-319-34171-2
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $94.00
price for USA
  • ISBN 978-3-319-34170-5
  • 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
11th International Computer Science Symposium in Russia, CSR 2016, St. Petersburg, Russia, June 9-13, 2016, Proceedings
Editors
  • Alexander S. Kulikov
  • Gerhard J. Woeginger
Series Title
Theoretical Computer Science and General Issues
Series Volume
9691
Copyright
2016
Publisher
Springer International Publishing
Copyright Holder
Springer International Publishing Switzerland
eBook ISBN
978-3-319-34171-2
DOI
10.1007/978-3-319-34171-2
Softcover ISBN
978-3-319-34170-5
Edition Number
1
Number of Pages
XXI, 425
Number of Illustrations and Tables
49 b/w illustrations
Topics