计算机研究与发展 1995年 32卷 3期

栏目

选择全部

提高曲线轮廓汉字还原质量的一些方法

胡长原, 武港山, 张福炎

1995, 32(3)

摘要

DEST2．0：一个基于实例原型的设计支持工具

毛权, 秦敬, 周济, 余俊

1995, 32(3)

摘要

Prolog语言抽象机器GOAM的设计与实现

王健, 程虎

1995, 32(3)

摘要

利用CCS的协议描述与验证技术的研究

龚正虎

1995, 32(3)

摘要

超文本形式化模型研究

余盛可

1995, 32(3)

摘要

CIMS环境中局域网网络安全子层设计

孙亚民, 吴永森

1995, 32(3)

摘要

异构网络MMS通信系统

顾冠群, 吴国新, 余勇明, 王洪兴, 夏勤

1995, 32(3)

摘要

机器翻译系统中概念词典的设计与实现

江红, 吴立德, 沙新时

1995, 32(3)

摘要

基于访问控制和监控病毒动态行为的计算机病毒防护技术

吴永森

1995, 32(3)

摘要

合成语言FOPL实现注记

梅宏, 孙永强

1995, 32(3)

摘要

支持结构化方法的需求分析环境

张家重, 郑明春, 刘培玉, 刘方爱, 高玲

1995, 32(3)

摘要