| test4 |
| ttt... |
| 发表时间:2020-04-09 |
|
| 韩英杰讲师 |
| coming soon ... |
| 发表时间:2018-03-04 |
|
| 聂凯工程师 |
| coming soon ... |
| 发表时间:2018-03-01 |
|
| 国家863计划重大项目 |
| （注：图文无关） 国家863计划重大项目(2009AA012201) “新概念高效能计算机体系结构研发”，结项，作为参研单位之一，我们承担拟态计算机软硬件性能测试与验证工作。... |
| 发表时间:2018-03-17 |
|
| 国家自然科学基金面上项目 |
| 国家自然科学基金面上项目(61572444) “计算树逻辑模型检测的DNA计算方法研究”：在研，我们是依托单位。 ... |
| 发表时间:2018-03-18 |
|
| 国家自然科学基金面上项目2 |
| 国家自然科学基金面上项目(69873040) “一类时间自动机及其在有穷状态实时系统中的应用”，结项，我们是依托单位，苏锦祥教授是项目主持人。... |
| 发表时间:2018-03-18 |
|
| 国家自然科学基金面上项目4 |
| 国家自然科学基金面上项目(69173302) “交替-有穷自动机”，结项，我们是依托单位，苏锦祥教授是项目主持人。... |
| 发表时间:2018-03-18 |
|
| 【媒体报道】《科技日报》报道我团队的... |
| 以下截图分别来自于科技日报官网与百度百科： ... |
| 发表时间:2018-05-09 |
|
| Jian WANG |
| Jian WANG, Ph.D. Associate Professor School of Information Engineering Zhengzhou... |
| 发表时间:2018-09-19 |
|
| Yang LIU |
| Yang LIU, Ph.D. Assistant Professor School of Information Engineering Zhengzhou... |
| 发表时间:2018-09-19 |
|
| welcome to ICTACT at ZZU |
| Institute of Computing Theory and Advance Computational Technology (ICTACT) at Zhengzhou University... |
| 发表时间:2018-09-19 |
|
| 国家自然科学基金联合基金 |
| 国家自然科学基金联合基金(U1204608) “基于实时区间逻辑模型验证的入侵检测---形式理论与关键算法”，结项，我们是依托单位。... |
| 发表时间:2018-03-18 |
|
| 国家自然科学基金面上项目 |
| 国家自然科学基金面上项目(61572444) “计算树逻辑模型检测的DNA计算方法研究”：在研，我们是依托单位。 ... |
| 发表时间:2018-03-18 |
|
| 国家自然科学基金主任基金 |
| 国家自然科学基金主任基金(61250007) “基于软件特征的软件水印技术研究”，结项，我们是依托单位。 ... |
| 发表时间:2018-03-18 |
|
| An academic jotting to our beginners ... |
| An academic jotting to our beginners (I) (draft) W Zhu and M Deng ZZU & HAUT November 06, 2021... |
| 发表时间:2021-11-07 |
|
