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