逻辑·语言·计算 马希文文选 【自然科学】

马希文(1939-2000年)为我国计算语言学尊基人.与朱德熙先生共同组建北大计算语言学研究所. 　　本书收集了马希文20世纪70年代以来在数学、计算机科学、人工智能、语言学（包括计算语言学）方面的重要论述20...

走向计算主义 数字时代人工创造生命的哲学 【自然科学】

本书是一部科学哲学著作，研究计算机与生物学交叉产生的边沿学科——人工生命。在考察人工生命思想的兴起过程、理论根据、构建方法以及最新进展的基础上，系统地探讨这种生命观的主要内容，并从这些内容出发进一...

创新在路上 2013-2016年北京市科学技术奖获奖项目巡礼 【自然科学】

本书介绍了2013年至2016年间北京市科委奖励办表彰的优秀科研项目，这些创新成果与我们生活的很多方面都有着千丝万缕的联系，涵盖农林、能源、计算机、通讯、医疗、制造等多个科学门类，同时也记述了这些为生活带...

国家认监委实验室能力验证技术报告汇编 2015年 【自然科学】

能力验证（Proficiency Testing）是利用实验室间比对，按照预先制定的准则评价检验检测机构技术能力的一种质量控制手段，是检验检测机构验证和提升自身能力水平，提升测试数据使用方信心的有效途径。近年来，能力验证...

科学技术成果报告 编号：0091 热处理可控气氛平衡计算及炉温调节 【自然科学】

新中国60年重大科技成就巡礼—庆祝新中国成立60周年百种重点图书 【自然科学】

本书从生命科技、信息科技、“两弹一星”及航天科技、能源与纳米科技、科学考察与大科学装置等领域，介绍了我国建国60年以来的重大科技成就，比如：杂交水稻的成功培育、原子弹成功爆炸、人工合成牛胰岛素、人造...

香山科学会议 第271次学术讨论会（2005年12月6日-7日 北京香山饭店） 可拓学的科学意义与未来发展 【自然科学】

青少年科普创新在行动中 《2001-2005年中国青少年科学技术普及活动指导纲要》实施项目研究报告 【自然科学】

本书是依据《2001～2005年中国青少年科学普及活动指导纲要》实施情况撰写的科研报告，对科普开展的情况从理论到实践方面进行了分析和总结，提出了一些有益的建议。...

发现世界 公元1000年-现代 1000-present 【自然科学】

如果您希望在享受英语阅读乐趣的同时又能增长知识、开拓视野，由外语教学与研究出版社与美国国家地理学会合作出版的“国家地理科学探索丛书”（英文注释版）正是你的选择。“国家地理科学探索丛书”（英文注释版）第...

出国参观考察报告 （77）002 罗马尼亚建筑工程中电子计算技术的应用 【自然科学】