Computer Science - Theory and Applications: Fourth International Computer Science Symposium in Russia, CSR 2009, Novosibirsk, Russia, August 18-23, 2009. Proceedings
Pedro Cabalar, Sergei Odintsov, David Pearce (auth.), Anna Frid, Andrey Morozov, Andrey Rybalchenko, Klaus W. Wagner (eds.)This book constitutes the refereed proceedings of the Fourth International Computer Science Symposium in Russia, CSR 2009, held in Novosibirsk, Russia, August 18-23, 2009.
The 29 revised papers presented together with 4 invited papers were carefully reviewed and selected from 66 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.
Տարի:
2009
Հրատարակում:
1
Հրատարակչություն:
Springer-Verlag Berlin Heidelberg
Լեզու:
english
Էջեր:
369
ISBN 10:
3642033512
ISBN 13:
9783642033513
Սերիաներ:
Lecture Notes in Computer Science 5675 : Theoretical Computer Science and General Issues
Ֆայլ:
PDF, 4.37 MB
IPFS:
,
english, 2009