Springer
CSR 2007EkaterinburgRussiaSeptember 3
This book is printed on demand and is non-refundable after purchase
Available Formats :
Printed Book
It will be sent to your address
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.
Report an issue with this product.