| 書目名稱 | Fourth IFIP International Conference on Theoretical Computer Science - TCS 2006 | | 副標(biāo)題 | IFIP 19th World Comp | | 編輯 | Gonzalo Navarro,Leopoldo Bertossi,Yoshiharu Kohaya | | 視頻video | http://file.papertrans.cn/348/347291/347291.mp4 | | 概述 | Presents the most current research in Information and Communication Technologies.Includes supplementary material: | | 叢書名稱 | IFIP Advances in Information and Communication Technology | | 圖書封面 |  | | 描述 | The papers contained in this volume were presented at the fourth edition of the IFIP International Conference on Theoretical Computer Science (IFIP TCS), held August 23-24, 2006 in Santiago, Chile. They were selected from 44 pa- pers submitted from 17 countries in response to the call for papers. A total of 16 submissions were accepted as full papers, yielding an acceptance rate of about 36%. Papers sohcited for IFIP TCS 2006 were meant to constitute orig- inal contributions in two general areas: Algorithms, Complexity and Models of Computation; and Logic, Semantics, Specification and Verification. The conference also included six invited presentations: Marcelo Arenas (P- tificia Universidad Catolica de Chile, Chile), Jozef Gruska (Masaryk University, Czech Republic), Claudio Gutierrez (Universidad de Chile, Chile), Marcos Kiwi (Universidad de Chile, Chile), Nicola Santoro (Carleton University, Canada), and Mihalis Yannakakis (Columbia University, USA). The abstracts of those presentations are included in this volume. In addition, Jozef Gruska and Nicola Santoro accepted our invitation to write full papers related to their talks. Those two surveys are included in the present volume | | 出版日期 | Conference proceedings 2006 | | 關(guān)鍵詞 | Automat; algorithms; artificial intelligence; automata; computer; computer science; model checking | | 版次 | 1 | | doi | https://doi.org/10.1007/978-0-387-34735-6 | | isbn_softcover | 978-1-4899-9050-1 | | isbn_ebook | 978-0-387-34735-6Series ISSN 1868-4238 Series E-ISSN 1868-422X | | issn_series | 1868-4238 | | copyright | IFIP International Federation for Information Processing 2006 |
The information of publication is updating
|
|
|Archiver|手機(jī)版|小黑屋|
派博傳思國(guó)際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-10 06:47
發(fā)表于 2025-3-21 19:25:43
