Computer Science: Theory and Applications: Second International Symposium on Computer Science in Russia, Csr 2007, Ekaterinburg, Russia, September 3-7, 2007, Proceeding

Diekert, Volker (Editor)/ Volkov, Mikhail (Editor)/ Voronkov, Andrei (Editor)

ISBN 10: 3540745092 / ISBN 13: 9783540745099

Published by Springer-Verlag New York Inc, 2007

About this Item

1st edition. 420 pages. 9.20x6.50x1.00 inches. In Stock.

Seller Inventory # x-3540745092

Bibliographic Details

• Title: Computer Science: Theory and Applications: Second International Symposium on Computer Science in Russia, Csr 2007, Ekaterinburg, Russia, September 3-7, 2007, Proceeding
• Publisher: Springer-Verlag New York Inc
• Publication Date: 2007
• Language: English
• ISBN 10: 3540745092
• ISBN 13: 9783540745099
• Binding: Paperback
• Condition: Brand New
• Weight: 0.65 kilograms

About this title

Synopsis

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.