内蒙古头道湖半固定沙地主要植物群落从生态生物学特性的初步研究 中国科学院治沙队1961年治沙科学研究总结会议
黄银晓,朴逊华编1961 年出版45 页ISBN:
面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems
(德)Michael Huth,(英)Mark Ryan著;何伟,樊磊译2007 年出版277 页ISBN:7111213971
本书对计算机科学方面的数理逻辑进行了综合介绍,涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题,反映了计算机科学中数理...
张藜总主编;罗兴波本册主编2017 年出版483 页ISBN:9787504671493
本册丛书记述了老科学家学术成长采集工程中入选的32位出生于20世纪初,从事气象、农业、动植物及医学专业的科学家学术成长经历和他们对新中国科技发展做出的卓越贡献。各篇文章都为采集工程各个采集小组根据...
华侨大学哲学社会科学文库管理学系列 中国物流通道的区域空间效应
范月娇著2019 年出版292 页ISBN:9787520148269
本书以交通区位论、集聚经济理论、区域空间结构理论为指导,对物流通道的内涵、物流通道的形成及其成因、物流通道区域空间效应的产生机制及其内在动力和外在表现进行了剖析。同时以数理模型和计量经济学模型...
软物质前沿科学丛书 复杂系统的涌现动力学 从同步到集体输运 下
(中国)郑志刚2019 年出版652 页ISBN:9787508855974
由大量单元组成的复杂系统会产生丰富多彩的自组织与集体行为,近几年成为多交叉领域长盛不衰的研究热点。复杂系统的一个重要特征是涌现,即在整体层面会呈现出各种各样个体所不具备的行为。本书以复杂系统中普...
谢直树主编2005 年出版177 页ISBN:730307757X
在全面建设小康社会、加速推进现代化建设的新的历史时期,教育责无旁贷地担负着促进社会发展、推动科技创新、增强综合国力的重任。历史的机遇和挑战使我国的基础教育走上了第八次课程改革之路,新的基础教育课...
钱伟长总主编(上海大学)2011 年出版601 页ISBN:9787030261649
国家“十一五”重大出版工程《20世纪中国知名科学家学术成就概览》,以纪传文体记述中国20世纪在各学术专业领域取得突出成就的数千位华人科学技术和人文社会科学专家学者,展示他们的求学经历、学术成就、治学...
中国核科学技术进展报告 第2卷——中国核学会2011年学术年会论文集 第8册 辐射研究与应用分卷 同位素分卷 核农学分卷
中国核学会主编2012 年出版266 页ISBN:
上海自然科学研究所汇报特刊 第5号 中国地质地理文献目录 地质学地理学古生物学土壤学水路学地震学山志其他
尾崎金右卫门编纂1944 年出版407 页ISBN:
组成论 复杂度定律和广义集合 系统科学的新分支 对统计学的补充 改造后的熵
张学文著2003 年出版256 页ISBN:7312016405
很多事物都存在组成(成分、构成)问题。作者创立的组成论为此提供统一的认识模型、分析工具、计算方法和原理。他通过广义集合、分布函数和复杂程度三个概念分析事物组成,并揭示了有随机性的事物都遵守最复杂原...