Computer Science - Theory and Applications
Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007, Proceedings| By: | Volker Diekert; Mikhail Volkov; Andrei Voronkov |
| Publisher: | Springer Nature |
| Print ISBN: | 9783540745099 |
| eText ISBN: | 9783540745105 |
| Edition: | 1 |
| Copyright: | 2007 |
| Format: | Page Fidelity |
Lifetime - $68.74
eBook Features
Instant Access
Purchase and read your book immediately
Read Offline
Access your eTextbook anytime and anywhere
Study Tools
Built-in study tools like highlights and more
Read Aloud
Listen and follow along as Bookshelf reads to you
Details
Table of Contents
This book features the refereed proceedings of the 2nd International Symposium on Computer Science in Russia held in September 2007. The 35 papers cover theory track deals with algorithms, protocols, and data structures; complexity and cryptography; formal languages, automata and their applications to computer science; computational models and concepts; proof theory; and applications of logic to computer science. Many applications are presented.