计算机科学
手机知网 App
24小时专家级知识服务
打 开
手机知网首页
期刊
文献检索
工具书
图书
我的知网
充值中心
支持设备
计算机科学1983年第03期
网络首发
核心
获奖
月刊
|
电子信息科学综合
¥ 24.30
阅读本期
手机阅读
下载APP 手机查看本期
期刊主页
发文趋势
发文热点
热门学者
更多
刊内搜索
本期目录
程序设计的未来
软件工程过于机械的管理
从规范到机器代码:通过形式分析构造程序
程序验证与Ada语言
程序正确性:论归纳断言法
子目标归纳法及其应用示例
计算机科学与机器翻译的相互影响
Modula-2:对Pascal中存在问题的一个解决办法
Modula-2中的二义性和不安全性
操作系统课程概要
更多往期
2022年07期
2022年04期
2022年03期
2022年02期
2022年01期
2021年S2期
上一期
全部往期
下一期
同类期刊
更多
机电一体化
记者观察
计算机工程与应用
中国管理信息化
现代教学
系统工程与电子技术
更多期刊
