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

1990年第1卷第2期目录

   
浏览其它刊期:  
  

本期目录

通过程序变换对数字系统进行优化
  胡振江,孙永强
  1990,1(2):1-11 [摘要(2784)]  [PDF 540.17 K (2807)]
  
Occam语言的时态语义
  耿峻,谭新明
  1990,1(2):12-27 [摘要(2760)]  [PDF 859.41 K (2757)]
  
在不同DBMS上的数据库转换
  唐世渭,杨冬青,裴芳
  1990,1(2):28-38 [摘要(2558)]  [PDF 616.41 K (3136)]
  
需求描述及分析工具CPSL/CPSA
  许龙山,吴东升,程崇炎
  1990,1(2):39-47 [摘要(2669)]  [PDF 486.39 K (5877)]
  
智能CAD工具
  杨乔林
  1990,1(2):48-55 [摘要(2948)]  [PDF 1021.39 K (2965)]
  
微机网上的分布式专家联合系统UNION(上)
  赵致琢,庄庆雨,曹华,陆汝钤
  1990,1(2):56-64 [摘要(2833)]  [PDF 481.75 K (2784)]
  
 

京公网安备 11040202500064号

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