| 书目名称 | Theoretical Aspects of Computing - ICTAC 2009 | | 副标题 | 6th International Co | | 编辑 | Martin Leucker,Carroll Morgan | | 视频video | | | 丛书名称 | Lecture Notes in Computer Science | | 图书封面 |  | | 描述 | ThisvolumecontainsthepaperspresentedatICTAC2009:the6thInternational Colloquium on Theoretical Aspects of Computing held August 18–20, 2009 in Kuala Lumpur, Malaysia, hosted by Universiti Kebangsaan Malaysia. The ICTAC series was founded by the International Institute for Software Technology of the United Nations University (UNU-IIST). It brings together practitionersandresearchersfromacademia,industryandgovernmenttopresent results and to exchange ideas and experience addressing challenges in both t- oretical aspects of computing and in the exploitation of theory through me- ods and tools for system development. The series also promotes cooperation in research and education between participants and their institutions, from dev- oping and industrial countries, in accordance with the mandate of the United Nations University. The previous ICTAC colloquia were held in Guiyang, China (2004, LNCS 3407), Hanoi, Vietnam (2005, LNCS 3722), Tunis, Tunisia (2006, LNCS 4281), Macao SAR, China (2007, LNCS 4711), and Istanbul, Turkey (2008, LNCS 5160). This year, 81 submissions were received, distributed over 70 full research papers and 11 tool papers. Each submission was reviewed by at least thr | | 出版日期 | Conference proceedings 2009 | | 关键词 | Action; automata; automata theory; computer; computer science; formal language; formal languages; model che | | 版次 | 1 | | doi | https://doi.org/10.1007/978-3-642-03466-4 | | isbn_softcover | 978-3-642-03465-7 | | isbn_ebook | 978-3-642-03466-4Series ISSN 0302-9743 Series E-ISSN 1611-3349 | | issn_series | 0302-9743 | | copyright | Springer-Verlag Berlin Heidelberg 2009 |
The information of publication is updating
|
|
发表于 2025-3-21 18:00:00
