寒潮年鉴 1973.9-1974.5 1974.9-1976.5 合订本
东北、华北、西北寒潮大风科研协作组编1980 年出版189 页ISBN：13194·0007
最高人民检察院政策研究室编写组撰稿；中央人民广播电台法制组编1987 年出版243 页ISBN：7504300020
可信软件基础研究项目组编2018 年出版94 页ISBN：9787308188715
本书系国家自然科学基金重大研究计划“可信软件基础研究”的出版成果。本书以国家关键应用领域中软件可信性问题为主攻目标，针对“软件可信性度量与建模”、“可信软件的构造与验证”、“可信软件的演化和控...
本书编写组编2010 年出版198 页ISBN：
揭开未解之谜的神秘面纱，探索扑朔迷离的科学疑云；让你身临其境，保受益无穷。书中还有不少观察和实践的设计，青少年读者们可以亲自动手，提高自己的实践能力。对于广大青少年学习、掌握科学知识也是不可多得的良师...
