| |
1993年第4卷第5期目录
本期目录 | | | 面向对象系统软件的分层构造模型 | | | 章远阳,杨芙清,邵维忠; | | | 1993,4(5):1-5 [摘要(3695)] [PDF 378.42 K (4942)] | | | | | LogC智能推理语言和环境 | | | 冯玉琳,黄涛,王太权 | | | 1993,4(5):6-10 [摘要(3866)] [PDF 353.13 K (4635)] | | | | | 基于拓扑法的多关节机械手无碰路径规划 | | | 李永成,张钹 | | | 1993,4(5):11-16 [摘要(3912)] [PDF 369.40 K (5354)] | | | | | 程序变换在程序语言中的一种表示——兼论变换型语言 | | | 张乃孝 | | | 1993,4(5):17-23 [摘要(3790)] [PDF 433.83 K (4637)] | | | | | 面向对象的语义关联数据模型理论 | | | 古新生,陈清 | | | 1993,4(5):24-37 [摘要(4085)] [PDF 820.05 K (5190)] | | | | | 协议自动验证的可靠策略 | | | 温涛,刘积仁,李华天 | | | 1993,4(5):38-45 [摘要(3892)] [PDF 552.42 K (4809)] | | | | | 复杂对象及其并发控制 | | | 徐庆云,王能斌,陈钢 | | | 1993,4(5):46-50 [摘要(3689)] [PDF 358.33 K (4601)] | | | | | 一个测试程序自动生成器的设计与实现 | | | 胡正国,朱志强 | | | 1993,4(5):58-62 [摘要(3612)] [PDF 355.57 K (4789)] | | | | | 关于一个串为正则语言中某串的子串的判定算法 | | | 庄雷 | | | 1993,4(5):63-64 [摘要(3284)] [PDF 147.58 K (4415)] | | | |
综述文章
|
