| 書(shū)目名稱(chēng) | Foundations of Software Technology and Theoretical Computer Science |
| 副標(biāo)題 | Ninth Conference, Ba |
| 編輯 | C. E. Veni Madhavan |
| 視頻video | http://file.papertrans.cn/348/347176/347176.mp4 |
| 叢書(shū)名稱(chēng) | Lecture Notes in Computer Science |
| 圖書(shū)封面 |  |
| 描述 | The papers in this volume accepted for the conference on foundations of software technology and theoretical computer science project research results in - Algorithmics: design and analysis of graph, geometric, algebraic and VLSI algorithms; data structures; average analysis; complexity theory; parallel parsing. - Concurrency: algebraic semantics, event structures. - Logic programming: algebraic properties, semantics. - Software technology: program transformations, algebraic methods. These results together with the formal techniques employed to present them reflect current trends pursued by leading research groups around the world. The papers treat their topics in depth by carefully reviewing existing results, developing and demonstrating new techniques and suggesting further directions for research. |
| 出版日期 | Conference proceedings 1989 |
| 關(guān)鍵詞 | algorithm; algorithms; complexity; complexity theory; data structure; data structures; logic; programming; s |
| 版次 | 1 |
| doi | https://doi.org/10.1007/3-540-52048-1 |
| isbn_softcover | 978-3-540-52048-1 |
| isbn_ebook | 978-3-540-46872-1Series ISSN 0302-9743 Series E-ISSN 1611-3349 |
| issn_series | 0302-9743 |
| copyright | Springer-Verlag Berlin Heidelberg 1989 |
|Archiver|手機(jī)版|小黑屋|
派博傳思國(guó)際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-14 13:55
發(fā)表于 2025-3-21 17:37:34
