当前位置:首页 > 名称
大约有20,000项符合查询结果项。(搜索耗时:0.0204秒)
为您推荐: press第五机械工业部科学研究院 press机械科学研究院 press第一机械工业部机械科学研究院 press第一机械工业部科学技术情报研究所 press石油工业部科学技术情报研究所 press化学工业部科学技术情报研究所
-
第五届国际哈尼:阿卡文化学术讨论会论文集
墨江哈尼族自治县民宗局,哈尼文化研究所编2007 年出版462 页ISBN:9787536738225本书多角度论述了哈尼族的历史、宗教、语言、文化等内容。
-
涅盘之师:中国人民解放军第五十军征战纪实
刘聚波著2007 年出版370 页ISBN:9787503320934中国人民解放军第五十军诞生于解放战争中期,是由起义的原国民党军第六十军改编而成的。本书以翔实的资料生动描述了五十军从诞生走向辉煌的战斗历程。...
-
Java how to program = Java大学教程 (第五版)英文版
Harvey M. Deitel ; Paul J. Deitel2007 年出版1150 页ISBN:7121036453 -
-
-
第五届小学“希望杯”全国数学邀请赛试题·培训题·解答
“希望杯”全国数学邀请赛组委会编2007 年出版189 页ISBN:9787502943431本书包括2007年第5届“希望杯”小学四、五、六年级的试题、培训题及解答。
-
高等学校计算机科学与技术教材 计算机操作系统
殷兆麟主编;刘厚泉,林果园,徐秀编著2007 年出版239 页ISBN:7810829378本书基于计算机专业操作系统课程的需要介绍操作系统的基本原理,并密切与Windows XP/2003的理解、使用、配置和基本系统调用编程相结合。本书前5章介绍单机操作系统的一般原理,从资源管理的角度,分别阐述操作系...
-
-
面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems
(德)Michael Huth,(英)Mark Ryan著;何伟,樊磊译2007 年出版277 页ISBN:7111213971本书对计算机科学方面的数理逻辑进行了综合介绍,涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题,反映了计算机科学中数理...
-
学科分类
