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