全部
图书
期刊
非书资料
图书馆
馆藏地址
-
程序语言的形式规范概论
-
形式语言及其与自动机的关系
-
形式语言及其句法分析
-
程序验证和规范的形成方法
-
计算机系统结构:原理与实例.上册
-
计算机程序设计和体系结构VAX-Ⅱ
-
多总线设计手册:结构、总体设计与应用
— (美)约翰逊(JOHNSON,J.B.),卡塞尔(KASSEL,S.
索 书 号 :73.9213/2
标准编码: 7-03-000030-7
出版信息:科学出版社 1987.12 北京
中文图书
-
容错与故障可测性系统设计
-
计算机安全的技术与方法
-
微机系统的保护和保密
热门检索词
请点击下载Flash Player 9 或更高版本