Computer science - theory and applications : Third International Computer Science Symposium in Russia, CSR 2008, Moscow, Russia, June 7-12, 2008 : proceedingsSymposium in Russia, CSR 2008, Moscow, Russia, June 7-12, 2008, Proceedings
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 subm...
Saved in:
Other Authors: | |
---|---|
Format: | Book |
Language: | English |
Published: |
Springer
2017
|
Subjects: | |
Online Access: | http://repository.vnu.edu.vn/handle/VNU_123/27867 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | Vietnam National University, Hanoi |
Language: | English |
id |
oai:112.137.131.14:VNU_123-27867 |
---|---|
record_format |
dspace |
spelling |
oai:112.137.131.14:VNU_123-278672020-07-07T07:42:26Z Computer science - theory and applications : Third International Computer Science Symposium in Russia, CSR 2008, Moscow, Russia, June 7-12, 2008 : proceedingsSymposium in Russia, CSR 2008, Moscow, Russia, June 7-12, 2008, Proceedings Hirsch, Edward A. Razborov, Alexander A. Semenov, Alexei Slissenko, Anatol Computer science -- Russia (Federation) -- Congresses Khoa học máy tính -- Nga (Liên đoàn) 004 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. 2017-04-13T08:03:35Z 2017-04-13T08:03:35Z 2008 Book 9783540797081 http://repository.vnu.edu.vn/handle/VNU_123/27867 en © Springer-Verlag Berlin Heidelberg 2008 422 p. application/pdf Springer |
institution |
Vietnam National University, Hanoi |
building |
VNU Library & Information Center |
country |
Vietnam |
collection |
VNU Digital Repository |
language |
English |
topic |
Computer science -- Russia (Federation) -- Congresses Khoa học máy tính -- Nga (Liên đoàn) 004 |
spellingShingle |
Computer science -- Russia (Federation) -- Congresses Khoa học máy tính -- Nga (Liên đoàn) 004 Computer science - theory and applications : Third International Computer Science Symposium in Russia, CSR 2008, Moscow, Russia, June 7-12, 2008 : proceedingsSymposium in Russia, CSR 2008, Moscow, Russia, June 7-12, 2008, Proceedings |
description |
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. |
author2 |
Hirsch, Edward A. |
author_facet |
Hirsch, Edward A. |
format |
Book |
title |
Computer science - theory and applications : Third International Computer Science Symposium in Russia, CSR 2008, Moscow, Russia, June 7-12, 2008 : proceedingsSymposium in Russia, CSR 2008, Moscow, Russia, June 7-12, 2008, Proceedings |
title_short |
Computer science - theory and applications : Third International Computer Science Symposium in Russia, CSR 2008, Moscow, Russia, June 7-12, 2008 : proceedingsSymposium in Russia, CSR 2008, Moscow, Russia, June 7-12, 2008, Proceedings |
title_full |
Computer science - theory and applications : Third International Computer Science Symposium in Russia, CSR 2008, Moscow, Russia, June 7-12, 2008 : proceedingsSymposium in Russia, CSR 2008, Moscow, Russia, June 7-12, 2008, Proceedings |
title_fullStr |
Computer science - theory and applications : Third International Computer Science Symposium in Russia, CSR 2008, Moscow, Russia, June 7-12, 2008 : proceedingsSymposium in Russia, CSR 2008, Moscow, Russia, June 7-12, 2008, Proceedings |
title_full_unstemmed |
Computer science - theory and applications : Third International Computer Science Symposium in Russia, CSR 2008, Moscow, Russia, June 7-12, 2008 : proceedingsSymposium in Russia, CSR 2008, Moscow, Russia, June 7-12, 2008, Proceedings |
title_sort |
computer science - theory and applications : third international computer science symposium in russia, csr 2008, moscow, russia, june 7-12, 2008 : proceedingssymposium in russia, csr 2008, moscow, russia, june 7-12, 2008, proceedings |
publisher |
Springer |
publishDate |
2017 |
url |
http://repository.vnu.edu.vn/handle/VNU_123/27867 |
_version_ |
1680962415951347712 |