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