ENGLISH

Computer Science – Theory and Applications: First International Computer Science Symposium in Russia, CSR 2006, St. Petersburg, Russia, June 8-12. 2006. Proceedings

By John Harrison , Boaz Barak (auth.) , Dima Grigoriev , Edward A. Hirsch (eds.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
2006
ISBN
978-3-540-34166-6
DOI
10.1007/11753728
Language
english
Format
PDF
Filesize
8 MB (8323057 bytes)
Series
Lecture Notes in Computer Science 3967 : Theoretical Computer Science and General Issues
Edition
1
Pages
684\696
Topic
Computers
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 First International Symposium on Computer Science in Russia, CSR 2006, held in St. Petersburg, Russia in June 2006. The 35 revised full theory papers and 29 revised application papers presented together with 3 invited talks were carefully reviewed and selected from 279 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