主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公编辑办公English
2018-2019年专刊出版计划 微信服务介绍 最新一期:2019年第4期
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
 

1996年第7卷第4期目录

   
浏览其它刊期:  
  

本期目录

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

京公网安备 11040202500064号

主办单位:中国科学院软件研究所 中国计算机学会
编辑部电话:+86-10-62562563 E-mail: jos@iscas.ac.cn
Copyright 中国科学院软件研究所《软件学报》版权所有 All Rights Reserved
本刊全文数据库版权所有,未经许可,不得转载,本刊保留追究法律责任的权利