1996年第7卷第4期目录

   
浏览其它刊期:  
  

本期目录

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