1997年第8卷第9期目录
DATALOG程序的组及其应用王云明,施伯乐1997,8(9):641-646 [摘要(3994)] [PDF(3949)421.31 K][HTML(0)]基于微核心的文件系统服务器虚拟文件子系统张斌,孙玉方1997,8(9):647-652 [摘要(3295)] [PDF(3996)434.21 K][HTML(0)]一个过程间数据流分析的框架郁卫江,朱根江,谢立1997,8(9):653-662 [摘要(3925)] [PDF(5033)628.36 K][HTML(0)]用于反应系统的修改时序逻辑贾国平,郑国梁1997,8(9):663-672 [摘要(4987)] [PDF(4049)684.44 K][HTML(0)]构件类和构件的概念及其定义语言和操作语言顾明,仲萃豪1997,8(9):673-679 [摘要(3803)] [PDF(4061)459.12 K][HTML(0)]CAPP系统的开放式数据集成模型曹尚稳,孔繁胜,董金祥,何志均1997,8(9):680-686 [摘要(3678)] [PDF(4028)477.91 K][HTML(0)]一个用于异构的数据库集成的多context逻辑刘海燕,陈火旺,刘凤岐1997,8(9):687-693 [摘要(3538)] [PDF(4113)451.96 K][HTML(0)]Z的面向对象扩充COOZ的设计袁晓东,郑国梁1997,8(9):694-700 [摘要(3876)] [PDF(4198)452.90 K][HTML(0)]基于遗传算法的Rosenbrock函数优化问题的研究梁艳春,周春光,李寿范1997,8(9):701-708 [摘要(4786)] [PDF(4268)494.75 K][HTML(0)]Z规格说明的前置条件的简化缪淮扣1997,8(9):709-715 [摘要(3810)] [PDF(4261)458.63 K][HTML(0)]汉英机器翻译的英文词形态生成黄河燕,陈肇雄1997,8(9):716-721 [摘要(3916)] [PDF(4057)429.20 K][HTML(0)]