ModelSim是优秀的HDL仿真软件之一，它能提供友好的仿真环境，是业界唯一单内核支持VHDL和Verilog混合仿真的仿真器，它采用直接优化的编译技术、Tcl/Tk技术和单一内核仿真技术，编译仿真速度快，编译的代码与平台无关，便于保护IP核，个性化的图形界面和用户接口，为用户加快调错提供强有力的手段，是Window平台上FPGA/ASIC设计的首选仿真软件。本书以ModelSim SE 2020.4版软件为平台，由浅入深、循序渐进地介绍ModelSim SE 2020.4软件各部分知识，包括

主要内容
● 如何配置Go语言环境，并提供设计、开发和测试Go应用程序的入门指南。
● 对基本数据结构(如映射、切片和数组)的实际讨论。
● gRPC和并发的基本原理。
● 在Go语言中设计和开发API的基础知识。

主要内容
● 在异步环境中处理借用检查器
● 创建Web API并处理JSON
● 组建一个用于Rust异步开发的技术栈
● 优雅地处理错误
● 测试、追踪、记录和调试
● 在多个环境中部署Rust应用

本书共13章。第1～3章分别讲解Go语言、基本数据类型和各种运算符的使用；第4章主要讲解选择和循环两种控制结构；第5章讲解函数与方法；第6章讲解数据容器；第7章讲解结构体；第8章讲解接口，这部分内容难度稍大；第9章讲解协程与通道；第10～12章分别讲解异常处理、正则表达式、文件和文件夹；第13章讲解常用的内置包。
本书立足于自学，在知识体系上尽量做到完备，采用的例子既简单又精炼。本书配套电子课件以及全部源代码资源。
本书可作为高等院校人工智能等相关专业的Go语言教材，也可作为Go语言

用户体验度量对有效提升产品质量至关重要。本书详尽地介绍如何有效且可靠地收集、分析和呈现典型的用户体验度量数据：操作绩效(正确率等)、可用性问题(频率和严重程度)、自我报告式的满意度及生理/行为数据(眼动追踪等)。相对第2版，本版不仅新增第8章“情感度量”，还引入许多新的度量指标，如AttrakDiff、Kano方法、Google的HEART框架、新的Bentley体验记分卡等，全面更新用户体验度量的相关案例。

“中国软件工程师调查”是清华大学社会科学学院中国社会调查与研究中心与清华大学社会学系的研究团队受中国科学技术协会组织人事部的委托，于 2023 年针对我国软件行业相关从业者开展的研究课题，旨在深入了解我国软件工程师的工作、生活与观念，以期保障其劳动权利，改善其生活条件。 在调查的基础上，本书对软件工程师群体的工作情况、生活状态和价值观念进行深度解析，展示了该群体的多重身份和丰富面向，有助于读者更深入地了解这个群体，以及他们在构建数字社会中的独特贡献。同时，本书描绘了世界信息技术人才发展

本书围绕计算机软件基础及其软件开发设计策略展开研究，首先论述计算机与计算机软件分析、计算机软件技术基础知识、计算机软件开发设计原理体系；其次探讨计算机软件结构化开发设计技术、计算机软件工程学开发设计技术、面向对象和组件的软件开发设计技术；最后研究计算机软件开发测试体系、计算机软件智能化开发与开发项目管理。

本书以MySQL数据库管理系统为平台，以学生成绩管理系统开发案例为主线进行编写，较全面地介绍了数据库的基础知识及其应用。全书共9个项目，包括建立MySQL数据库环境、创建与维护MySQL数据库、创建与维护MySQL数据表、数据查询、创建和管理视图、创建和管理索引、创建与使用存储过程和存储函数、创建和使用触发器，以及维护MySQL数据库的安全性。本书根据“项目引领，任务驱动”式的教学思路，充分考虑读者的认知曲线，科学地设计典型学习任务，每个任务都有明确的要求及实现方案，具有较强的实用性和

本书基础理论和工程项目相结合，循序渐进地介绍了应用Spring开发Redis应用程序的方法和技术。全书共9章，分别介绍Redis基础、Spring基础、Spring Redis Template、Spring操作Redis缓存、Redis基础应用、响应式Redis、Redis集群和Redis仓库等知识及一个综合案例，书中的每个知识点都有相应的案例代码。

本书主要面向广大从事Spring开发、Java Web开发、大数据开发的专业人员。