本书介绍如何使用Cadence和Synopsys公司的CAD工具来实际设计数字VLSl芯片。读者通过本书可以循序渐进地学习这些CAD工具，并使用这些软件设计出可制造的数字集成电路芯片。本书内容按集成电路的设计流程编排，包括CAD设计平台、电路图输入、Vefil09仿真、版图编辑、标准单元设计、模拟和数模混合信号仿真、单元表征和建库、Vefilog综合、抽象形式生成、布局布线及芯片组装等工具；每一工具的使用都以实例说明，最后给出了一个设计简化MIPS微处理器的完整例子。本书可与有关集成电路设计理论的教科书配套使用，可作为高等院校有关集成电路设计理论类课程的配套教材和集成电路设计实践类课程的教科书，也可作为集成电路设计人员的培训教材和使用手册。

这是一本介绍如何通过非托管调试器（包括WinDBG、NTSD和CDB等）来调试?NET应用程序的书籍。本书内容主要包括：调试工具简介、CLR基础、基本调试任务、程序集加载器、托管堆与垃圾收集、同步、互用性以及一些高级主题，如事后调试、一些功能强大的调试工具和.NET 4?0中的新功能等。

撬开你脑子里的那些困惑，让你重新认识游戏设计的真谛，人人都可以成为成功的游戏设计者!从更多的角度去审视你的游戏，从不的想法中跳脱出来，从枯燥的游戏设计理论中发现理论也可以这样好玩。本书主要内容包括：游戏的体验、构成游戏的元素、元素支撑的主题、游戏的改进、游戏机制、游戏中的角色、游戏设计团队、如何开发好的游戏、如何推销游戏、设计者的责任等。 本书适合任何游戏设计平台的游戏设计从业人员或即将从业人员，甚至游戏玩家。

《自己动手写CPU(含CD光盘1张)》使用Verilog HDL 设计实现了一款兼容MIPS32指令集架构的处理器——OpenMIPS。OpenMIPS 处理器具有两个版本，分别是教学版和实践版。教学版的主要设计思想是尽量简单，处理器的运行情况比较理想化，与教科书相似，便于使用其进行教学、学术研究和讨论，也有助于学生理解课堂上讲授的知识。实践版的设计目标是能完成特定功能，发挥实际作用。 《自己动手写CPU(含CD光盘1张)》分为三篇。篇是理论篇，介绍了指令集架构、Verilog HDL的相关知识。第二篇是基础篇，采用增量模型，实现了教学版OpenMIPS处理器。首先实现了仅能执行一条指令的处理器，从这个最简单的情况出发，通过依次添加，实现逻辑操作指令、移位操作指令、空指令、移动操作指令、算术操作指令、转移指令、加载存储指令、协处理器访问指令、异常相关指令，最终实现

《可计算一般均衡建模初级教程》内容简介：CGE模型的特点和强项决定了它的研究对象通常聚焦于国民经济发展的重大战略或政策问题，因而其研究和应用工作在外通常受到高等院校、科研机构或决策部门的青睐。计量经济学目前在我国已经相当普及，多数经管类院校都讲授至少初、中级水平的课程，各种应用也比比皆是，而可计算一般均衡模型的课程教学和应用研究却凤毛麟角，只见少数学术科研机构有所提及，仅为少数专家学者掌握和承担。另一方面，CGE模型的现实应用领域却相当广泛，现实应用价值很高，是国际重大战略问题和政策研究不可或缺的工具。同时，CGE模型也是经济学界普遍认可的一种规范研究工具，其成果在高质量国际学术期刊上占据不小的比例，被接纳率较高。

这是一本专注于用户研究和用户体验的经典读物，同时也是一本容易上手的实战手册，从实践者的角度，着重讨论和阐述了用户研究的重要性、主要的用户研究方法和工具，同时借助于实例介绍了相关的应用。全书共3部分18章，深度剖析了何为的用户设计，用户体验包括哪些研究方法和工具，如何得出和分析用户体验调查结果等。 本书适合设计人员和高等院校设计类学生阅读和参考，也适合任何一个希望有所建树的各界策划和设计人员阅读。

本书对形式概念的理论进行了全面系统地论述，第0章介绍了序理论基础，、2章分别论述了形式背景与形式概念、概念格的确定与表示，第3、4、5、6章分别研究了部分和因子、概念格的分解、概念格的构造、概念格的性质，第7章论述了形式背景比较和概念测量。 本书是软件工程、数据挖掘及知识发现、类层次设计、视频音频格实例匹配及分类、数字图书馆及文献检索等领域，及相关学科领域的广大科技工作者和工程技术人员的研究及学习用书，对计算机、自动化及数学等专业的博士生、硕士生及高年级学生也有重要的参考价值。·

使用支持现代应用程序开发的系统管理数据。这部、易懂的指南第三版升级到了MongoDB 4.2，为你充分展示使用面向文档数据库的优点。你将学会如何使用这个安全、高性能的系统实现各种灵活的数据模型、高可用性和水平扩展性。本书作者既为数据库开发人员提供了详细指导，也为系统管理员提供了配置，还为各种项目提供了代码示例。对于NoSQL新手和有经验的MongoDB用户，通过本书都可以在数据查询、索引、聚合、事务、副本集、ops管理、分片和数据管理、持久性、监视和安全性等方面获得新知识。

这是一本面向ASP.NET Core新手的基础教程，学用相长，注重实践。每个关键知识点都配有简单的示例，以辅助理解。本书内容涉及ASP.NET Core应用程序的初始化、配置，服务容器与依赖注入的使用，/中间件管道的构建，会话状态的维护，Razor页面与MVC，Web API，Blazor，静态文件的访问，以及安全与授权。

《控制类课程群理实一体化教学平台构建方法》针对现有的混合式学习模式中存在理论、实验及创新实践三个环节的时间及空间分离问题，探索并构建一套“理实同步-虚实结合-资源共享”线上线下混合式人才培养平台。包括：建立了全新的通信网络控制模型，解决了通信互联网络引入的时延问题，实现了混合式学习线上线下课程的同步集成，提高了高校课堂教学效率；解决了个性化知识建构平台集成和多设备跨平台集成的信息安全问题，构建了创造性知识生成系统，并完成了知识库的自动更新。采用线下高校课堂与线上慕课混合策略，打造了一套全程同步混合式学习环境平台，满足学生从入学到毕业的“理论、实验、创新实践一体化同步混合式学习”的需求。

该书共分11章，章简介了系统软件可靠性及其相关术语；第2章讨论了软件可靠性工程以及包括马尔科夫过程、更新过程等在内的过程的相关概念；第3章描述了评估理论、常见的评估技术以及置信区间估计；第4章阐述了包括软件生命周期、软件开发周期、软件测试等在内的软件工程评估的基本概念；第5章讨论了几组传统的软件可靠性模型和评估方法，并简要介绍了软件复杂性、残余缺陷数等其它软件性能指标的评估方法；第6章包含了基于非齐次泊松过程（NHPP）的软件可靠性模型，同时讨论了广义NHPP模型、模型选择以及软件平均失效间隔时间等；第7章重点讨论了解决测试覆盖和缺陷移除的软件可靠性模型；第8章描述了一些最近的关于环境因素的研究，并讨论了环境因素对于软件可靠性评估的影响；第9章讨论了软件可靠性模型的校正技术；0章介绍了考虑了由软件失