302EDU
课本
教案
课件
试卷
图书
资源搜索
首页
图书
中图号V57-39
2017年
2017
2011
全部
搜索分类
可信的航天嵌入式控制软件开发技术
本书主要论述了航天嵌入式软件可信保障的问题、解决方法和相关工具，并介绍了可信保障集成环境。本书由以下...
2017.12
按出版社分类
科学出版社
4806
清华大学出版社
3254
团结出版社
3254
人民邮电出版社
3142
吉林大学出版社
3001
机械工业出版社
3000
商务印书馆
2853
电子工业出版社
2817
化学工业出版社
2562
吉林出版集团股份有限公司
2555
新疆青少年出版社
2544
延边大学出版社
2532
上海交通大学出版社
2353
黑龙江美术出版社
2350
中国社会科学出版社
2255
外语教学与研究出版社
2209
高等教育出版社
2177
江苏凤凰美术出版社
2145
北京联合出版公司
2123
江苏凤凰文艺出版社
2072
按标签分类
儿童故事－图画故事－中国－当代
4905
小学数学课－习题集
4428
散文集－中国－当代
4393
小学语文课－习题集
4347
长篇小说－中国－当代
4118
诗集－中国－当代
3205
英语课－小学－习题集
2383
作文课－小学－教学参考资料
1821
小学数学课－教学参考资料
1653
小学语文课－教学参考资料
1640
中学数学课－初中－习题集
1605
学前教育－教学参考资料
1440
英语课－初中－习题集
1408
速算－小学－习题集
1365
儿童故事－图画故事－美国－现代
1319
中学语文课－初中－习题集
1274
中学数学课－初中－教学参考资料
1189
智力游戏－儿童读物
1122
汉字－法书－作品集－中国－现代
1059
中国文学－当代文学－作品综合集
1010