-
-
-
-
面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems
(德)Michael Huth,(英)Mark Ryan著;何伟,樊磊译2007 年出版277 页ISBN:7111213971本书对计算机科学方面的数理逻辑进行了综合介绍,涵盖了命题逻辑、谓词逻辑、模态逻辑<em>与</em>代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题,反映了计算机...
-
非线性微分代数系统的控制理论与应用
张秀华,张庆灵著2007 年出版182 页ISBN:9787030197528本书针对非线性微分代数系统,介绍了非线性微分代数系统的稳定性,在无源分析和耗散性理论的基础上,给出了非线性微分代数系统的无源性的定义和研究的新理论和新的结果。主要内容包括:系统的介绍了非线性微分代数...
-
数字化信息技术与技能导引
王善平,张静波编著2007 年出版141 页ISBN:7030193113本书以数字化信息为主线,系统介绍了信息时代所必需了解和掌握的现代信息的概念、技术<em>与</em>技能的基本知识。第1-3章是基础篇;其中第1章介绍了信息的定义<em>与</em>信息技术历史发展,澄清了以前关于信息...
-
第六届水泥与混凝土国际会议及CANMET/ACI混凝土技术可持续发展国际会议论文集 2
隋同波,沈荣熹,张文生编2006 年出版1650 页ISBN:7119022490本书汇集了国际上有关水泥与混凝土领域的科技发展成就的论文,以交流科技成果,促进我国与世界各国之间的科技合作为目的。
-
第六届水泥与混凝土国际会议及CANMET/ACI混凝土技术可持续发展国际会议论文集 1
隋同波,沈荣熹,张文生编2006 年出版790 页ISBN:7119022490本书汇集了国际上有关水泥与混凝土领域的科技发展成就的论文,以交流科技成果,促进我国与世界各国之间的科技合作为目的。
-
“边缘”的“中心” 龙河流域土家族村落的文化变迁与族群建构
田阡编著2015 年出版313 页ISBN:9787513034265全书从五个部分来探讨土家族社区的族群认同,通过个案来佐证前人的理论和观点。从土家族到渝东南土家族的族源梳理,再到桥头土家族的生存环境和生活状态描绘作为第一部分,是我们探讨族群认同的一个基础背景;第二...
-
政策人类学 新政治人类学与公共政策
陶庆主编2016 年出版325 页ISBN:7552016116新政治人类学<em>与</em>公共政策的学术链接即是“政策人类学”(Anthropology for Public Administration on Policy-making [APAP]),在学科范式上是新政治人类学在公共政策等方面的科学应用<em>与</em>政策...
