1996年第7卷第11期目录

浏览其它刊期:  
  
本期目录

  • 面向屈折语的上下文相关词法分析器
  • 柯仑,黄河燕,陈肇雄
  • 1996,7(11):641-646 [摘要(3838)]  [PDF(5171)404.92 K][HTML(0)]
  • 一种图形化对象式需求定义语言的设计
  • 张家重,吕建,王志坚,徐家福
  • 1996,7(11):647-655 [摘要(3833)]  [PDF(5011)577.88 K][HTML(0)]
  • 基于图的任意域内点集的Delaunay三角剖分算法
  • 潘志庚,马小虎,董军,石教英
  • 1996,7(11):656-661 [摘要(4061)]  [PDF(5290)391.09 K][HTML(0)]
  • 过程繁衍及其实现方法
  • 丁永华,陈彤,臧斌宇,朱传琪
  • 1996,7(11):662-668 [摘要(3349)]  [PDF(4625)437.75 K][HTML(0)]
  • 关系数据库与面向对象数据库的集成
  • 车敦仁,周立柱
  • 1996,7(11):669-675 [摘要(3911)]  [PDF(5404)497.48 K][HTML(0)]
  • 用XYZ/E语言描述和验证硬件的行为
  • 韩俊刚,王岩冰,沈武威
  • 1996,7(11):676-682 [摘要(4258)]  [PDF(4855)425.30 K][HTML(0)]
  • 基于Monad的纯函数式程序设计
  • 袁华强,孙永强
  • 1996,7(11):683-690 [摘要(4225)]  [PDF(4828)420.63 K][HTML(0)]
  • 支持协同设计的工程数据库版本管理
  • 王潜平,林宗楷,郭玉钗
  • 1996,7(11):691-697 [摘要(4133)]  [PDF(5200)474.90 K][HTML(0)]
  • 标记逻辑的TABLEAU判定过程
  • 程晓春,刘叙华
  • 1996,7(11):698-705 [摘要(3874)]  [PDF(4743)528.05 K][HTML(0)]
  • 用微信扫一扫

    用微信扫一扫