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

1994年第5卷第10期目录

   
浏览其它刊期:  
  

本期目录

并行数据库的查询处理并行化技术和物理设计方法
  李建中
  1994,5(10):1-10 [摘要(2950)]  [PDF 358.20 K (3223)]
  
并行数据操作算法和查询优化技术
  李建中
  1994,5(10):11-23 [摘要(2594)]  [PDF 801.06 K (3196)]
  
状态逻辑型程序设计语言
  阎志欣
  1994,5(10):24-32 [摘要(2783)]  [PDF 874.74 K (5570)]
  
一个新的证明网定义及合理性
  黄林鹏,孙永强
  1994,5(10):33-37 [摘要(2582)]  [PDF 560.02 K (2521)]
  
软件过程的JMOSP模型
  张然,张育超,叶云文
  1994,5(10):38-43 [摘要(2569)]  [PDF 272.30 K (2675)]
  
广义查询的计数算法
  范明,李连友
  1994,5(10):44-49 [摘要(2798)]  [PDF 466.45 K (2504)]
  
逻辑程序的并行性粒度的分析
  黄志毅,胡守仁
  1994,5(10):50-54 [摘要(2290)]  [PDF 416.31 K (2447)]
  
允许错误的(汉字)字符串快速检索技术
  邹旭楷,王素琴
  1994,5(10):55-59 [摘要(3011)]  [PDF 284.51 K (2732)]
  
基于知识的可重用构件查询系统KCQ
  余江,全炳哲,金淳兆
  1994,5(10):60-64 [摘要(2484)]  [PDF 311.94 K (2628)]
  
 

京公网安备 11040202500064号

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