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.
Or split into 4x interest-free payments of 25% on orders over R50
Learn more
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.
Imprint | Springer-Verlag |
Country of origin | Germany |
Series | Theoretical Computer Science and General Issues, 4649 |
Release date | August 2007 |
Availability | Expected to ship within 10 - 15 working days |
First published | 2007 |
Editors | Volker Diekert, Mikhail Volkov, Andrei Voronkov |
Dimensions | 235 x 155 x 22mm (L x W x T) |
Format | Paperback |
Pages | 420 |
Edition | 2007 ed. |
ISBN-13 | 978-3-540-74509-9 |
Barcode | 9783540745099 |
Categories | |
LSN | 3-540-74509-2 |