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