Computer Science: Theory and Applications: Second International Symposium on Computer Science in Russia, Csr 2007, Ekaterinburg, Russia, September 3-7 2007 Edition Contributor(s): Diekert, Volker (Editor), Volkov, Mikhail (Editor), Voronkov, Andrei (Editor) |
|
![]() |
ISBN: 3540745092 ISBN-13: 9783540745099 Publisher: Springer OUR PRICE: $52.24 Product Type: Paperback - Other Formats Published: August 2007 Annotation: 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. |
Additional Information |
BISAC Categories: - Computers | Computer Science - Computers | Programming - Algorithms |
Dewey: 004 |
LCCN: 2007933004 |
Series: Lecture Notes in Computer Science |
Physical Information: 0.98" H x 6.48" W x 9.18" (1.42 lbs) 420 pages |
Descriptions, Reviews, Etc. |
Publisher Description: 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. |