本书系统且全面地梳理了模型检测量子系统的原理以及基于这些原理的算法，涵盖作者相关论文中的重要研究成果。本书讲解如何应用模型检测技术来验证量子工程系统的正确性、安全性和可靠性，包含步骤详尽的算法以及丰富的示例和练习。书中首先介绍模型检测和量子理论的基础知识，然后讨论量子自动机、量子马尔可夫链和量子马尔可夫决策过程的可达性

本书是为独立开设大学物理实验课程的普通高等院校理工科非物理专业学生编写的教材。全书共9章，包括绪论、实验数据与实验方法、自主实验、基础性实验、综合性实验、演示实验、虚拟实验、设计性实验、研究性实验。作为改革理工科非物理专业大学物理实验教材的一次尝试，本书力求在保留经典实验项目的基础上，努力拓宽知识面，尽量反映新科技的发

本书介绍了声学学科多个分支的概貌、基本原理及应用，主要内容包括音频技术、环境声学、超声检测技术、医学超声、微声学、人工声学材料和功率超声。本书避免了对声学理论的平铺直叙，而是侧重于对声学相关应用领域的介绍，以适应本书通俗易懂、严谨有趣的科普读物定位。

"本书是20世纪最伟大的自然科学家之一、物理学巨匠阿尔伯特?爱因斯坦和波兰物理学家利奥波德?英费尔德合著的物理科普名著。作者使用通俗易懂的语言、别开生面的行文方式，讲述了从伽利略、牛顿时代的经典物理学直至场论、相对论和量子理论的发展进化过程，引导读者对富有创造性的人类思维为了更充分地理解支配物理现象的那些定律所做的永恒

"本书是根据作者在吉林大学物理学院多年的数学物理方法课程教学经验编写而成的。本书内容包括：基础数学知识、数学物理方程定解问题概述、行波法、积分变换法、直角坐标系下的分离变量法、球坐标系下的拉普拉斯方程、柱坐标系下的拉普拉斯方程、波动方程和热传导方程、一维线性谐振子定态方程、氢原子定态方程、格林函数法和变分法，共12章。

"1938年诺贝尔物理学奖获得者费米是20世纪贡献最大的物理学家之一，同时又是一位优秀的教育工作者。本书是他于1954年在美国芝加哥大学最后一次讲授量子力学时准备的提纲手稿，是珍贵的历史文献。中译本按照作者手稿，参照苏联МИР出版社1965年俄译本翻译成中文，并影印了作者的英文手稿。为了方便读者理解，译文补上了手稿中略

"本书根据教育部高等学校物理学与天文学教学指导委员会编制的《理工科类大学物理实验课程教学基本要求》（2010年版）和太原工业学院围绕“立德树人、强化实践、突出应用、服务社会”的办学理念开展应用型本科教育教学工作的办学思路，结合学院大学物理实验课程教学改革的实践经验编写而成。全书共6章，内容包括测量误差及数据处理、力学和

"本书根据《理工科类大学物理实验课程教学基本要求》（2010年版）和本科一年级学生所掌握的物理概念与实验基础知识编写而成，主要包括实验基础理论和47个物理实验。实验基础理论部分给出了一些在实验数据处理中必须要用到的计算公式（例如求测量结果的不确定度公式），同时介绍了有关随机误差的概率统计分析理论。物理实验部分分为基础性

本书包括力学、热学,电磁学、光学、振动波动和近代物理部分共计33个实验。

本书是作者在长期从事量子力学教学实践和科学研究过程中所形成讲义的基础上，参考国内外新版量子力学教材，结合现代量子理论的发展趋势和教学改革的需要，经多年的反复修订编著而成。本书力求物理图像清晰，内容结构完整，逻辑连贯，在突出基础概念的同时反映现代量子力学的发展前沿。本书的特点是引入数学软件Mathematica作为辅助工