逻辑学及其应用研究 第四届全国逻辑系统、智能科学与信息科学学术会议论文集
汪学明主编2009 年出版150 页ISBN：9787541217470
本书是2008年在贵阳召开的第四届全国逻辑系统、智能科学与信息科学学术会议论文集。内容涉及形式逻辑、数理逻辑、法律逻辑、逻辑思维、自然语言理解、机器人涉及、安全协议形式化分析、密码学及其应用等诸...
薛加民著2014 年出版280 页ISBN：9787115354983
通过阅读本书，读者将和作者一起，通过搜集一些不难得到而且便宜的材料，亲自动手实验来一步一步解答我们心中对于科学的一些疑问，实现一些平日里看起来遥不可及的“高科技”。本书每一章都是一个完整的实验，有理论...
科学图书馆 不可思议的物理 对光炮力场隐形传送和时间旅行世界的科学探索
（美）加来道雄著2011 年出版240 页ISBN：9787543946590
一百年前，科学家们会说，激光、电视和原子弹超越了物理学上的可能性。在《不可思议的物理》中，著名物理学家加来道雄探索了科幻作品中目前被认为无法实现的科技与装置在未来有多大的可能性会变得司空见惯。...
中国科学院、水利电力部水利水电科学研究院科学研究论文集 第24集 自动化、计算技术
中国科学院、水利电力部水利水电科学研究院编1987 年出版151 页ISBN：15143·5984
国家自然科学基金委员会，中国科学院编著2012 年出版296 页ISBN：9787030329813
本书是“2011～2020我国学科发展战略研究”报告之一。本书根据国际地球科学发展的前沿和趋势，结合我国地球科学学科发展的需要和国情，深入、全面地论述了地球科学及各分支学科的研究内容以及在经济社会发展中的...
