ENGLISH

Computer Science – Theory and Applications: Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007. Proceedings

By Yuri Gurevich (auth.) , Volker Diekert , Andrei Voronkov (eds.) , Mikhail V. Volkov

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
2007
ISBN
3540745092, 9783540745099
DOI
10.1007/978-3-540-74510-5
Open Library ID
OL16152137M
Language
english
Format
PDF
Filesize
7 MB (7832210 bytes)
Series
Lecture Notes in Computer Science 4649
Edition
1
Pages
420\430
Library
Kolxo3
Time added
2011-02-14 12:09:19
Theory of Computation; Algorithm Analysis and Prob

Description

This book constitutes the refereed proceedings of the Second International Symposium on Computer Science in Russia, CSR 2007, held in Ekaterinburg, Russia, September 3-7, 2007 The 35 revised papers presented were carefully reviewed and selected from 95 submissions. All major areas in computer science are addressed; the 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. The application part comprises programming and languages; computer architecture and hardware design; symbolic computing and numerical applications; application software; artificial intelligence and robotics.

Similar books