书目名称 | STACS 97 | 副标题 | 14th Annual Symposiu | 编辑 | Rüdiger Reischuk,Michel Morvan | 视频video | http://file.papertrans.cn/861/860344/860344.mp4 | 丛书名称 | Lecture Notes in Computer Science | 图书封面 |  | 描述 | This book constitutes the refereed proceedings of the 14th Annual Symposium on Theoretical Aspects of Computer Science, STACS 97, held in Lübeck, Germany, in February/March 1997..The 46 revised full papers included were carefully selected from a total of 139 submissions; also included are three invited full papers. The papers presented span the whole scope of theoretical computer science. Among the topics covered are, in particular, algorithms and data structures, computational complexity, automata and formal languages, structural complexity, parallel and distributed systems, parallel algorithms, semantics, specification and verification, logic, computational geometry, cryptography, learning and inductive inference. | 出版日期 | Conference proceedings 1997 | 关键词 | Automat; algorithm; algorithms; automata; complexity; computational geometry; computer science; data struct | 版次 | 1 | doi | https://doi.org/10.1007/BFb0023443 | isbn_softcover | 978-3-540-62616-9 | isbn_ebook | 978-3-540-68342-1Series ISSN 0302-9743 Series E-ISSN 1611-3349 | issn_series | 0302-9743 | copyright | Springer-Verlag Berlin Heidelberg 1997 |
The information of publication is updating
|
|