  |
|
|
|
|
 |
| 计算机工程 |
| Computer Engineering |
|
主办： 华东计算技术研究所;上海市计算机学会 |
| 周期： 月刊 |
| 出版地：上海市 |
| 语种： 中文; |
| 开本： 大16开 |
|
| ISSN 1000-3428 |
| CN 31-1289/TP |
| 邮发代号 4-310 |
|
| 创刊年：1975 |
| ASPT来源刊 |
| 中文核心期刊(1992) |
| 中文核心期刊(1996) |
| 中文核心期刊(2000) |
| 中文核心期刊(2004) |
| 中文核心期刊(2008) |
| 中文核心期刊(2014) |
| 中文核心期刊(2017) |
| 中国期刊网来源刊 |
 |
|
|
|
 |
|
|
|
|
|
| 目录 |
 |
基于连接法定理证明器的PROLOG系统 |
|
朱关铭,缪淮扣 |
|
逻辑程序设计语言LOGLISP的实现 |
|
林阿龙 |
|
NPU-PROLOG 2.0解释系统的实现 |
|
张遵濂,张翔青,郑海君,黄京炜 |
|
基于知识的极小覆盖自动生成 |
|
沈一栋 |
|
一种自动生成测试数据的方法 |
|
刘少英,李友仁 |
|
两种通用、高速的进程通信机构-UNIX S-5共享数据段、消息机构评析 |
|
尤晋元 |
|
关系型数据库-SQL/DS |
|
左源儿,金伟明,郑玫 |
|
Chill中进程间通讯和同步的实现方法 |
|
王悦民 |
|
模块结构微程序设计 |
|
徐公权,吴时霖,黄德利,王德新,顾宝发 |
|
磁盘驱动器记录系统特性与磁盘标准中若干参数的关系 |
|
张祖康 |
|
使用LDM的软件开发 |
|
K.Balogh
,Zs.Farkas
,张幸儿 |
|
快捷付款方式
订购知网充值卡
订购热线
帮助中心