面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems 【数理化】

本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题，反映了计算机科学中数理...

非线性微分代数系统的控制理论与应用 【工业技术】

本书针对非线性微分代数系统，介绍了非线性微分代数系统的稳定性，在无源分析和耗散性理论的基础上，给出了非线性微分代数系统的无源性的定义和研究的新理论和新的结果。主要内容包括：系统的介绍了非线性微分代数...

技术创新 国家系统的改革与重组 the reform and rebuild of national system 【经济】

本书从技术创新的概念及一般规律入手，在对当代技术创新的特点及其影响技术创新的诸要素进行深入研究的基础上，对不同国家的国家创新系统的体制模式和演变过程进行了比较研究，提出了重建中国国家技术创新系统得...

基本法与澳门特区的可持续发展 纪念澳门基本法颁布14周年及中葡联合声明签署20周年学术研讨会论文集 【政治法律】

制度变迁中的中国保险业：风险与风险管理对策 【其他书籍】

本书的总体思路是在揭示中国经济社会制度变迁的特质及其对我国保险业影响的基础上，分别针对转轨时期中国人寿保险公司、财产保险公司和再保险公司的风险状况和主要风险管理手段进行具体分析；然后，采用定量分析...

图书馆·情报与文献学研究的新视野 中国社会科学情报学会成立二十周年学术论文集 【文化科学教育体育】

2006年9月，中国社会科学情报学会在广西南宁召开了学会成立20周年庆祝大会，并举办了学术征文评奖活动。本书收集了全部获奖论文。同时，为了使论集的涵盖面更加广泛，更加具有代表性，我们又单独约请了少数同志专为...

日本的循环型经济与社会 【经济】

日本的循环型经济与社会是由循环型经济系统和保障系统组成的。日本的循环型经济系统是指摆脱环境和经济的“相克”状态，在产业活动和消费活动等经济活动所有方面都适应了环境制约和资源制约；在这样的系统中，循...

创意×创业：与25位成功创意人的创业对谈 【艺术】

有一群创意人　正改写台湾文化创意产业的未来 创意经济之父约翰˙霍金斯出书大谈创意经济产业将决定全球经济发展，造成全世界都在重视创意经济产业，「创意力决定竞争力」这句话也开始引爆一股靠创意来创业...

自动化学科专业的规划与建设 2006 第2届全国高校自动化系主任 院长 论坛论文集 【工业技术】

本书是第二届全国自动化系主任（院长）论坛的文集汇总，本届论坛由同济大学承办，参加者包括教育部吴启迪副部长、戴汝为院士、吴澄院士、郑南宁院士、李德毅院士、李伯虎院士等特邀嘉宾以及全国部分高等院校自动化...

融资结构与企业投资 基于股东－债权人冲突的研究 research based on stockholder-bondholder conflicts 【其他书籍】

本书以我国上市公司为研究对象，运用模拟与多元统计回归等方法考察股东-债权人冲突下，融资结构对企业投资的影响。本书各章的研究是渐进的：首先，通过模拟运算分析股东-债权人冲突对企业投资决策的影响；然后，运用.....