书目名称 | Theoretical Computer Science |
副标题 | 7th IFIP TC1/WG 2.2 |
编辑 | Jos C. M. Baeten,Tom Ball,Frank S. Boer |
视频video | |
概述 | Fast track conference proceedings.Unique visibility.State of the art research |
丛书名称 | Lecture Notes in Computer Science |
图书封面 |  |
描述 | This book constitutes the refereed proceedings of the 7th FIP WG 2.2 International Conference, TCS 2012, held in Amsterdam, The Netherlands, in September 2012. .The 25 revised full papers presented, together with one invited talk, were carefully reviewed and selected from 48 submissions. New results of computation theory are presented and more broadly experts in theoretical computer science meet to share insights and ask questions about the future directions of the field. |
出版日期 | Conference proceedings 2012 |
关键词 | algorithm complexity; automata; computation theory; formal methods; graphs; algorithm analysis and proble |
版次 | 1 |
doi | https://doi.org/10.1007/978-3-642-33475-7 |
isbn_softcover | 978-3-642-33474-0 |
isbn_ebook | 978-3-642-33475-7Series ISSN 0302-9743 Series E-ISSN 1611-3349 |
issn_series | 0302-9743 |
copyright | IFIP International Federation for Information Processing 2012 |