書目名稱 | Theory and Applications of Models of Computation |
副標(biāo)題 | 5th International Co |
編輯 | Manindra Agrawal,Dingzhu Du,Angsheng Li |
視頻video | http://file.papertrans.cn/924/923570/923570.mp4 |
叢書名稱 | Lecture Notes in Computer Science |
圖書封面 |  |
描述 | .This book constitutes the refereed proceedings of the 5th International Conference on Theory and Applications of Models of Computation, TAMC 2008, held in Xi‘a(chǎn)n, China in April 2008...The 48 revised full papers presented together with 2 invited talks and 1 plenary lecture were carefully reviewed and selected from 192 submissions. The papers address current issues of all major areas in computer science, mathematics (especially logic) and the physical sciences - computation, algorithms, complexity and computability theory in particular. With this crossdisciplinary character the conference is given a special flavor and distinction.. |
出版日期 | Conference proceedings 2008 |
關(guān)鍵詞 | Bisimulation; Permutation; algorithms; automata; complexity; computability; computational biology; computat |
版次 | 1 |
doi | https://doi.org/10.1007/978-3-540-79228-4 |
isbn_softcover | 978-3-540-79227-7 |
isbn_ebook | 978-3-540-79228-4Series ISSN 0302-9743 Series E-ISSN 1611-3349 |
issn_series | 0302-9743 |
copyright | Springer-Verlag Berlin Heidelberg 2008 |