可信软件基础研究项目组编2018 年出版94 页ISBN:9787308188715
本书系国家自然科学基金重大研究计划“可信软件基础研究”的出版成果。本书以国家关键应用领域中软件可信性问题为主攻目标,针对“软件可信性度量与建模”、“可信软件的构造与验证”、“可信软件的演化和控...
教育部基础教育课程教材发展中心主编2003 年出版343 页ISBN:7806697241
本书选取全国各地高中具有典型意义的实践活动的案例,由课程入手,逐一剖析综合实践活动的典型个案,具有较强的指导性和实际操作性。
“绿十字’安全基础建设新知丛书”编委会编2016 年出版266 页ISBN:9787516724651
本书为“绿十字”安全基础建设新知丛书之一,介绍了事故隐患排查治理的知识。本丛书共分4类,为管理类、培训类、通用技术类、行业类,囊括了安全生产领域绝大部分最新基础知识内容。定位突出最新安全生产知识,读...
河南省基础教育研究室编2010 年出版47 页ISBN:9787534754630
本书与义务教育课程标准实验教科书配套,按教材6个单元编写,每个单元按基础知识下载,研究能力连接,课外咨询浏览三个栏目安排习题,供学生暑假使用。...
同济大学航空航天与力学学院基础力学教学研究部编2011 年出版408 页ISBN:9787560844862
本书在第1版的基础上修订而成。内容有:轴向拉伸与压缩、剪切、扭转、弯曲、应力状态分析、强度理论、组合变形、能量法、压杆稳定、动载荷和疲劳强度。在附录中介绍了平面图形几何性质和应变分析。最后,还提...
马丽霞执笔,上海音乐学院附中钢琴基础科编2007 年出版119 页ISBN:7806922881
本书以音阶、琶音与和弦练习为主;以业余钢琴考级者为对象,全书分为起步篇、基础篇、初级篇、提高篇和高级篇五个程度由浅入深的章节,来适合不同程度、不同级别的考级者和习琴者的需要。...