本书共6章，以硅集成电路为中心，重点介绍集成器件物理基础、集成电路制造工艺、集成电路设计、微电子系统设计、电子设计自动化。既介绍微电子器件的基本概念和物理原理，也介绍现代集成电路中先进器件结构、现代集成电路和系统设计方法以及纳米工艺等先进技术。

本教材力求兼顾理论教学与软件工程专业教学, 构思以课程自身内容为载体的应用及实践, 链接软件工程后续课程。内容覆盖集合论 (集合、关系、函数)、数理逻辑基础 (命题逻辑、谓词逻辑、自然推理系统)、图论基础、抽象代数 (群、环、域、格)。实践环节, 以某种程序设计语言为载体 (Python、Haskell或Racket), 以离散数学问题 (集合论、数理逻辑、图论、抽象代数) 为对象, 实践问题建模、求解、函数式编程, 并选取来自于离散数学课程内容的案例, 引导学生进行一定难度的软件开发实践。

本书讲解BIM数字建造解决方案软件AutodeskNavisworks的技术应用, 以工作手册式的编写方式。将Navisworks的应用技术融入13个工作任务中, 分别为生成Navisworks文件并与Revit联用; 设置、浏览与修改Navisworks模型; 创建、编辑与剖分视点; 进行漫游展示与图元查看; 创建与管理“集合”; 进行精细化渲染; 碰撞检查与审阅; 制作场景动画; 制作人机交互动画; 制作虚拟施工视频; 进行工程量计算; 整合管理外部数据; 数据发布。

本书共分9章, 第1章介绍学习Rhino6.0软件的预备知识, 第2章-第8章都是围绕一个主题, 通过产品设计实例引导读者掌握相关的命令和功能。既详细介绍了各个命令有关选项、提示说明和操作步骤, 又通过操作示例给出了产品设计建模的思路以及命令使用的方法和步骤。同时, 根据编者们长期从事产品设计教学和研究的体会, 通过“注意”总结了许多关键点和使用技巧。本书还配有“上机操作实验指导”, 读者可以根据给出的详细操作步骤自由轻松的创建出富有创意的产品三维模型。每章所附的上机题都给出了详尽的建模提示。第

本书覆盖了税法科目的核心考点和经典考题。作者剖析了考试大纲，精准把握了命题规律，精心挑选了税法科目中的重要知识点，构建了一个逻辑严谨、体系完备的知识框架。

本书囊括了注册会计师考试公司战略与风险管理科目的必备考点和考题，严格根据考纲要求，结合历年考试重点、难点，按照更有利于学生学习和阅读的习惯进行排版、措辞，是一本能够拉近与学生距离的学习书籍。

本书全面深入地介绍了基于人工智能的图像生成技术, 特别聚焦于StableDiffusion这一革命性工具。本书从AI绘画技术的发展历程讲起, 阐述了扩散模型的基本原理, 并提供了详尽的StableDiffusion安装、配置及使用指南。书中不仅涵盖了用户界面操作、模型选择和提示词技巧, 还介绍了ControlNet插件等高级功能, 使读者能够精确控制图像生成过程。此外, 本书还展示了AI技术在不同设计领域的实践案例, 包括平面设计、插画创作、建筑设计等, 最后还介绍了如何通过企业AI平台, 如图

本书分为力学框架、典型承载和复杂承载三篇，共8章。力学框架篇包括材料力学分析框架和构件安全性设计总论；典型承载篇包括轴向承载、周向承载和横向承载；复杂承载篇包括复合承载、超静定承载和动载荷承载。

本书根据高等院校普通本科线性代数课程及其在各专业中的应用编写而成。本书包含行列式、矩阵、向量组的线性相关性、线性方程组、相似矩阵及二次型、线性空间与线性变换等内容。

本书囊括了注册会计师考试经济法科目的必备考点、考题和答案，分《打好基础·经济法》《只做好题·经济法：题目册》《只做好题·经济法：答案册》3册。