书目名称 | Computer Science - Theory and Applications |
副标题 | Third International |
编辑 | Edward A. Hirsch,Alexander A. Razborov,Anatol Slis |
视频video | |
丛书名称 | Lecture Notes in Computer Science |
图书封面 |  |
描述 | 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. |
出版日期 | Conference proceedings 2008 |
关键词 | Automat; Hardware; algorithms; artificial intelligence; automata; complexity; computer architecture; comput |
版次 | 1 |
doi | https://doi.org/10.1007/978-3-540-79709-8 |
isbn_softcover | 978-3-540-79708-1 |
isbn_ebook | 978-3-540-79709-8Series ISSN 0302-9743 Series E-ISSN 1611-3349 |
issn_series | 0302-9743 |
copyright | Springer-Verlag Berlin Heidelberg 2008 |