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

You must be logged in to access this title.

Sign up now

Already a member? Log in

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.

Book details

Edition:
2007
Series:
Lecture Notes in Computer Science (Book 4649)
Author:
Volker Diekert, Mikhail Volkov, Andrei Voronkov
ISBN:
9783540745105
Related ISBNs:
9783540745099
Publisher:
Springer Berlin Heidelberg
Pages:
N/A
Reading age:
Not specified
Includes images:
No
Date of addition:
2022-06-15
Usage restrictions:
Copyright
Copyright date:
2007
Copyright by:
N/A 
Adult content:
No
Language:
English
Categories:
Computers and Internet, Nonfiction, Science