书目名称 | Mathematical and Engineering Methods in Computer Science |
副标题 | 8th International Do |
编辑 | Antonín Kučera,Thomas A. Henzinger,David Antoš |
视频video | |
概述 | Up-to-date results in mathematical and engineering methods in computer science.Fast-track conference proceedings.State-of-the-art research |
丛书名称 | Lecture Notes in Computer Science |
图书封面 |  |
描述 | This volume contains the post-proceedings of the 8th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2012, held in Znojmo, Czech Republic, in October, 2012.The 13 thoroughly revised papers were carefully selected out of 31 submissions and are presented together with 6 invited papers. The topics covered by the papers include:computer-aided analysis and verification, applications of game theory in computer science, networks and security, modern trends of graph theory in computer science, electronic systems design and testing, and quantum information processing. |
出版日期 | Conference proceedings 2013 |
关键词 | computer security; model checking; quantum strategies; simple stochastic games; tree problems; algorithm |
版次 | 1 |
doi | https://doi.org/10.1007/978-3-642-36046-6 |
isbn_softcover | 978-3-642-36044-2 |
isbn_ebook | 978-3-642-36046-6Series ISSN 0302-9743 Series E-ISSN 1611-3349 |
issn_series | 0302-9743 |
copyright | Springer-Verlag Berlin Heidelberg 2013 |