-
数字集成电路设计验证 量化评估、激励生成、形式化验证
李晓维，吕涛，李华伟，李光辉著2010 年出版411 页ISBN：9787030276094本书重点介绍过去五年内取得的相关研究成果，兼顾对国内外近期相关工作的扼要介绍。本书涉及数字集成电路模拟验证的覆盖量化评估和测试激励生成、形式化方法。主体内容包括量化评估、测试激励生成、形式验证...
-
重分析计算理论及其在复杂产品设计中的应用
王琥，李光耀，黄观新，高国强著2018 年出版308 页ISBN：9787030573377本书着眼于提高重分析方法的实用性以及对该方法的推广，从理论研究和实际应用两方面同时入手，对重分析方法中的主要理论和方法进行阐述和讨论，并对近年来申请人课题组取得的相关学术和应用成果进行总结。本书的...
-
-
利用外资阶段论 从工业化到信息化演进的视角
曹均伟著2006 年出版359 页ISBN：7806818545本书是研究利用外资的阶段性问题，研究从工业化到信息化过程中的利用外资阶段性变化的规律和特征。
-
楼市大趋势 谁的天堂谁的地狱
李骁，聂伟著2014 年出版272 页ISBN：9787218094670本书对目前中国楼市陷入的困局进行了分析，探讨了当前中国楼市的紧绷形势到底是泡沫破裂的边缘，还是杞人忧天的“狼来了”，深度挖掘推高房价的“油”与“火”，反思中国房地产模式的弊病与深层次根源，指出破解困局...
-
国际经济秩序是如何形成的 法律、市场和全球化
沈伟著2014 年出版486 页ISBN：9787511859716国际秩序，特别是国际经济秩序，到底是如何形成的呢？本书试图对这样的问题有初步的分析。国际经济秩序首先是法律化的过程：国内法的扩展适用、国际法的制定和普遍适用、国际规则进而进入国内法体系。国际经济秩序...
-
通讯网络流量控制与激励价控策略研究
岳晓宁，井元伟著2007 年出版163 页ISBN：7811023881本书是研究多优先级通信网络的定价问题，随着网络需求量的增大，这一问题近年来备受学者的关注，本书建立多优先级竞争网络系统模型，引入网络需求函数，利用最优化理论及经济学边际理论，对网络定价策略进行了分析，......
-
走吧 去越南 中越之间有多远
圣伟著2008 年出版361 页ISBN：9787509702123虽说远亲不如近邻，摊上“越南”这样的近邻还真让人有点儿难办：说深了怕人家受不了，破坏邻里团结；说浅了不解“恨”，总觉得欠点儿什么。“说越”本是点到为止，说说就罢，没承想越说越多，越说越起劲，说到后来自......
-
中国县级纪检监察机关改革研究
过勇，宋伟著2014 年出版215 页ISBN：9787302370062本书以县级纪检监察机构的改革为突破口，在对近年来我国各地纪检监察机构改革创新举措进行系统总结，并充分借鉴美国、英国和韩国等国在县级反腐败机构设置的基础上，以T市为例，深刻剖析了县级纪检监察机构工作的...
-
杰出教子方程式 1+2+3+4=？
高建伟著2015 年出版237 页ISBN：9787504756619对于所有的家长而言，如何培养出优秀的孩子，如何塑造孩子健全的人格，如何帮助孩子真正从精神上摆脱父母的依赖，促使其走向心智成熟与独立，这是一个值得深思与探讨的共同话题。本书在对现代家庭教育现状进行深入调...