Overview
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 5010)
Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)
Included in the following conference series:
Conference proceedings info: CSR 2008.
Buy print copy
About this book
This book constitutes the refereed proceedings of the Third International Computer Science Symposium in Russia, CSR 2008, held in Moscow, Russia, June 7-12, 2008. The 33 revised papers presented together with 5 invited papers and one opening lecture were carefully reviewed and selected from 103 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 content being viewed by others
Keywords
Table of contents (39 papers)
-
Back Matter
Other volumes
-
Computer Science – Theory and Applications
Bibliographic Information
Book Title: Computer Science - Theory and Applications
Book Subtitle: Third International Computer Science Symposium in Russia, CSR 2008, Moscow, Russia, June 7-12, 2008, Proceedings
Editors: Edward A. Hirsch, Alexander A. Razborov, Alexei Semenov, Anatol Slissenko
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-540-79709-8
Publisher: Springer Berlin, Heidelberg
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer-Verlag Berlin Heidelberg 2008
Softcover ISBN: 978-3-540-79708-1Published: 08 May 2008
eBook ISBN: 978-3-540-79709-8Published: 14 May 2008
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XIII, 411
Topics: Theory of Computation, Algorithm Analysis and Problem Complexity, Computation by Abstract Devices, Artificial Intelligence, Mathematics of Computing, Bioinformatics