数字集成电路设计验证 量化评估、激励生成、形式化验证

本书重点介绍过去五年内取得的相关研究成果，兼顾对国内外近期相关工作的扼要介绍。本书涉及数字集成电路模拟验证的覆盖量化评估和测试激励生成、形式化方法。主体内容包括量化评估、测试激励生成、形式验证...

当代中国文化国际影响力的生成 第三极文化论丛 2018

本书系北京师范大学中国文化国际传播研究院的年度论丛图书，有资金资助。当代中国文化国际影响力的生成??“第三极文化论丛”（2018），本书围绕“当代中国文化国际文化影响力的生成”主题展开，收录了中外学者的相观...

社会网络与“新生存空间”的生成 西北一回族移民群体的跨区域建构行动及其网络的构成与分布

本书收录了2007年上海大学博士学位论文35篇，通过公开出版，使论文作为公共知识，转化成社会财富。产生社会影响。

2004年上海大学博士学位论文 分层流体中运动潜体生成的内波以及内波的垂向结构研究

冲突、妥协与均衡 英国公共广播电视体制的生成探源

本文从英国媒介政治经济学和历史主义的研究视角出发，指出非商业化是公共广播电视体制最鲜明的特征并且是其有别于美国广播电视体制的核心内容。正是这一核心内容，使得公共广播电视体制凸显出其特殊的维护西方...

云计算软件工程 云软件自动生成原理及方法

以云计算为思想，服务计算为基础，全书共分十章进行来研究一种面向云服务的软件生成原理及方法，并以构建的“旅游云”为具体的应用研究对象。全书以当前云与服务计算的研究基础，根据用户需求对Internet中的服务（含...

先秦儒家乐教文献的生成与思想演进

本书坚持从社会结构、社会制度、文化规范、意识形态以及民族心理结构等宏观视角探讨先秦乐教文献的生成规律，同时从微观层面来研究儒家士人的社会行为、文化人格甚至是个人职事对儒家乐教文献生成的影响。在...

兴趣引领 关注生成的小学英语课堂

本书是“齐鲁名师精彩课堂实录与赏析”系列丛书之一。 “齐鲁名师精彩课堂实录与赏析”系列丛书是“国家课程资源建设项目齐鲁名师大讲堂”课题研究成果。丛书分为语文、数学、英语三科，各科分含小学卷、初...

跨市场操纵 生成、模式与法律监管

第一部分：跨市场操纵的前提：跨市场交易；第一章股票现货与股指期货的市场结构；第二章股票现货与股指期货之间的价格联动机制；第三章股票现货与股指期货之间的跨市场交易。第二部分：跨市场操纵的实质：市场操纵行......

DJS-8计算机FORTRAN 4编译系统设计说明 第1分册 编译总控语检与中间文本生成