Description
Computer Science - Theory and Applications, 2007
Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007, Proceedings
Theoretical Computer Science and General Issues Series
Coordinators: Diekert Volker, Volkov Mikhail, Voronkov Andrei
Language: EnglishSubject for Computer Science - Theory and Applications:
420 p. · 15.5x23.5 cm · Paperback
Description
/li>Contents
/li>Comment
/li>
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.
Presents the refereed proceedings of the 2nd International Symposium on Computer Science in Russia
Includes 37 carefully reviewed full papers
Addresses all major areas in computer science
Covers applications such as programming and languages, computer architecture and hardware design, symbolic computing and numerical applications, and more