| |
1996年第7卷第4期目录
本期目录 | | | 外部闭包及其在关系数据库中的应用 | | | 王宇君,施伯乐,胡美琛 | | | 1996,7(4):193-200 | | | [摘要](4713) [PDF 482.02 K](5579) | | | 求解SAT问题的分级重排搜索算法 | | | 刘涛,李国杰 | | | 1996,7(4):201-210 | | | [摘要](4359) [PDF 656.76 K](5666) | | | DSM中一种新型Cache一致性管理算法 | | | 房至一,鞠九滨 | | | 1996,7(4):211-216 | | | [摘要](4335) [PDF 428.82 K](5153) | | | 智能计算机辅助教学系统的设计 | | | 王小辉,童頫 | | | 1996,7(4):217-222 | | | [摘要](4630) [PDF 395.87 K](6263) | | | 表达式的覆盖、分解与划分 | | | 周生炳,戴汝为 | | | 1996,7(4):223-232 | | | [摘要](4126) [PDF 589.34 K](5799) | | | 解释学习结果的优化排序 | | | 郝继刚,石纯一 | | | 1996,7(4):233-237 | | | [摘要](4322) [PDF 308.92 K](5377) | | | 使用资源利用率作为负载平衡系统的负载指标 | | | 鞠九滨,杨鲲,徐高潮 | | | 1996,7(4):238-243 | | | [摘要](4658) [PDF 414.03 K](6189) | | | 一个面向对象的实时分布式语言的指称语义 | | | 左志宏,龚天富 | | | 1996,7(4):244-251 | | | [摘要](4313) [PDF 446.51 K](5797) | | | 一种基于二叉树结构表达的矩形物体布局的启发式方法 | | | 王爱虎,查建中,王金敏 | | | 1996,7(4):252-257 | | | [摘要](4420) [PDF 842.82 K](6447) | |
|
