1996年第7卷第4期目录

浏览其它刊期:

本期目录


	外部闭包及其在关系数据库中的应用
	王宇君,施伯乐,胡美琛
	1996,7(4):193-200 [摘要(4164)] [PDF 482.02 K (4544)]

	求解SAT问题的分级重排搜索算法
	刘涛,李国杰
	1996,7(4):201-210 [摘要(3694)] [PDF 656.76 K (4570)]

	DSM中一种新型Cache一致性管理算法
	房至一,鞠九滨
	1996,7(4):211-216 [摘要(3668)] [PDF 428.82 K (4107)]

	智能计算机辅助教学系统的设计
	王小辉,童頫
	1996,7(4):217-222 [摘要(4044)] [PDF 395.87 K (5136)]

	表达式的覆盖、分解与划分
	周生炳,戴汝为
	1996,7(4):223-232 [摘要(3654)] [PDF 589.34 K (4654)]

	解释学习结果的优化排序
	郝继刚,石纯一
	1996,7(4):233-237 [摘要(3786)] [PDF 308.92 K (4413)]

	使用资源利用率作为负载平衡系统的负载指标
	鞠九滨,杨鲲,徐高潮
	1996,7(4):238-243 [摘要(4033)] [PDF 414.03 K (5081)]

	一个面向对象的实时分布式语言的指称语义
	左志宏,龚天富
	1996,7(4):244-251 [摘要(3713)] [PDF 446.51 K (4653)]

	一种基于二叉树结构表达的矩形物体布局的启发式方法
	王爱虎,查建中,王金敏
	1996,7(4):252-257 [摘要(3848)] [PDF 842.82 K (5442)]