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

1996年第7卷第10期目录

   
浏览其它刊期:  
  

本期目录

对象描述语言及其指称描述
  黄涛,冯玉琳,倪彬,李京
  1996,7(10):577-586 [摘要(2452)]  [PDF 691.52 K (2621)]
  
基于图文法的并发系统状态测试方法及其实现
  徐建礼,周龙骧
  1996,7(10):587-605 [摘要(2293)]  [PDF 1.21 M (2744)]
  
一种基于网络分解的多播通讯路由方法
  谢澎,朱怡安,康继昌,王雅昆
  1996,7(10):606-610 [摘要(2832)]  [PDF 344.83 K (2570)]
  
高阶函数式语言到逻辑式语言的转换
  宋立彤,金成植,王丹茹
  1996,7(10):611-615 [摘要(3037)]  [PDF 306.84 K (2984)]
  
关于约束底盘装载问题的一种启发式方法
  王金敏,陈东祥,查建中,王爱虎,章节笑
  1996,7(10):616-620 [摘要(2674)]  [PDF 331.77 K (2928)]
  
表格图象数据抽取柔性匹配方法
  刘江宁,杨嵘,张剑
  1996,7(10):621-625 [摘要(2743)]  [PDF 376.75 K (2490)]
  
FPGA最小延时工艺映射理论及算法
  彭宇行,陈福接
  1996,7(10):626-633 [摘要(2652)]  [PDF 467.99 K (3137)]
  
高阶函数式语言的部分求值器
  陆卫东,金成植
  1996,7(10):634-640 [摘要(2402)]  [PDF 599.14 K (2933)]
  
 

京公网安备 11040202500064号

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