| 书目名称 | Theoretical Aspects of Computing - ICTAC 2006 | | 副标题 | Third International | | 编辑 | Kamel Barkaoui,Ana Cavalcanti,Antonio Cerone | | 视频video | | | 丛书名称 | Lecture Notes in Computer Science | | 图书封面 |  | | 描述 | The International Colloquium on Theoretical Aspects of Computing (ICTAC) held in 2006 in Tunis, Tunisia, was the third of a series of events created by the InternationalInstituteforSoftwareTechnologyoftheUnitedNationsUniversity. The aim of the colloquium is to bring together researchers from academia, - dustry, and governmentto present their results, and exchange experience, ideas, and solutions for their problems in theoretical aspects of computing. The previous events were held in Guiyang, China (2004), and Hanoi, Vi- nam (2005). Beyond its scholarly goals, another main purpose of ICTAC is to promote cooperation in research and education between participants and their institutions, from developing and industrial countries, as in the mandate of the United Nations University. These proceedings record the contributions from the invited speakers and from the technical sessions. We present four invited papers, 21 technical papers, selected out of 78 submissions from 24 countries, and two extended abstracts of tutorials. The Programme Committee includes researchers from 27 countries. Each of the 78 papers was evaluated by at least three reviewers. After the evaluation, reports were ret | | 出版日期 | Conference proceedings 2006 | | 关键词 | Isabelle; automata theory; concurrent systems; cooperative systems; formal language; formal languages; for | | 版次 | 1 | | doi | https://doi.org/10.1007/11921240 | | isbn_softcover | 978-3-540-48815-6 | | isbn_ebook | 978-3-540-48816-3Series ISSN 0302-9743 Series E-ISSN 1611-3349 | | issn_series | 0302-9743 | | copyright | Springer-Verlag Berlin Heidelberg 2006 |
The information of publication is updating
|
|
发表于 2025-3-21 18:40:46
