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

1994年第5卷第12期目录

   
浏览其它刊期:  
  

本期目录

一种面向软件工程的时序逻辑语言
  唐稚松,赵琛
  1994,5(12):1-16 [摘要(2718)]  [PDF 861.02 K (2322)]
  
关于在演绎数据库系统研究中引入一种新的关系的一些探讨
  徐洁磐
  1994,5(12):17-23 [摘要(2445)]  [PDF 165.28 K (2200)]
  
利用关联矩阵的秩判断Petri网的公平性
  王培良,蒋昌俊
  1994,5(12):24-29 [摘要(3197)]  [PDF 456.62 K (2623)]
  
关于空间三角网格上G1插值的阶数
  姜寿山
  1994,5(12):30-37 [摘要(2729)]  [PDF 272.30 K (2399)]
  
凸壳问题的计算时间下界
  王晓东
  1994,5(12):38-43 [摘要(2408)]  [PDF 97.68 K (2256)]
  
深表层推理模型HELI
  曹存根
  1994,5(12):44-50 [摘要(2458)]  [PDF 408.59 K (2381)]
  
ADA—DDBMS中的并发控制
  陈东辉,韦梓楚
  1994,5(12):51-56 [摘要(2765)]  [PDF 97.61 K (2193)]
  
 

京公网安备 11040202500064号

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