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

1995年第6卷第7期目录

   
浏览其它刊期:  
  

本期目录

Smalltalk-80的指称语义研究
  李舟军,王兵山
  1995,6(7):385-390 [摘要(2453)]  [PDF 377.59 K (2264)]
  
一种双向求解平行结构类问题的方法
  胡蓬,石纯一,王克宏
  1995,6(7):391-398 [摘要(2087)]  [PDF 495.21 K (2299)]
  
分布式程序设计语言DC及其在松散耦合分布式环境中的实现
  田籁声,黄莲淑,夏滨
  1995,6(7):399-406 [摘要(2629)]  [PDF 477.85 K (2314)]
  
合成语言FOPL基于方程逻辑的语义
  梅宏,孙永强
  1995,6(7):407-415 [摘要(2485)]  [PDF 547.07 K (2197)]
  
正则语言的特征性质
  叶瑞芬,沈百英
  1995,6(7):416-419 [摘要(2563)]  [PDF 276.81 K (2705)]
  
货郎担问题的几何解法
  周培德
  1995,6(7):420-424 [摘要(2768)]  [PDF 294.14 K (3480)]
  
基于广义归结的定理机器证明系统
  程晓春,孙吉贵,刘叙华
  1995,6(7):425-428 [摘要(2435)]  [PDF 288.13 K (2816)]
  
基于任务图的一种并行程序设计方法(Ⅱ)─—选择拓扑结构
  吴巧泉,沈平,张德富
  1995,6(7):429-434 [摘要(2416)]  [PDF 415.85 K (2303)]
  
地图自动识别系统中按颜色分层的算法及实现
  冯玉才,宋恩民,孙小薇,刘宏
  1995,6(7):435-439 [摘要(2732)]  [PDF 397.08 K (2789)]
  
多层前馈神经网络的学习和综合算法
  张铃,吴福朝,张钹,韩玫
  1995,6(7):440-448 [摘要(2397)]  [PDF 519.21 K (2283)]
  
 

京公网安备 11040202500064号

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