![综合与时序分析的设计约束 Synopsys设计约束（SDC）实用指南 [美]斯里达尔·甘加](http://img3m0.ddimg.cn/31/25/11808730030-1_l.jpg)
![旋转机械动力学及其发展 [印]J.S. Ra](http://img3m2.ddimg.cn/97/21/11763588472-1_l.jpg)
本书在作者40年来从事手表装配、钟表维修实践的基础上，结合本人的心得、经验编纂而成。全书共分四篇：通过钟表知识、功能结构、营销售后、仪器设备以及手表标准等，对钟表专业知识的普及，机械、石英钟表的各种功能，钟表标准和检测的仪器设备，进行了多方面的介绍。本书内容丰富，涉及面广，理论联系实际，相信这些内容对于钟表维修师傅、钟表营业员、钟表爱好者具有相当的实用价值。
《YY/T 0287-2017/ 13485：2016：器械质量管理体系内审员培训教程》共分四部分。部分为器械法规要求，介绍了美国、欧盟、日本以及中国在器械方面的法规要求。第二部分为IS013485：2016标准内容解读，对IS013485：2016标准条款进行了逐字逐条深入解读，并列举和链接了大量实施案例和器械法规要求。第三部分为内部审核与管理评审，主要从质量管理体系的内部审核的策划、内部审核的准备、内部审核的实施几个方面详细介绍了质量管理体系内部审核的全过程，并对审核过程和方法进行了详细说明，同时辅以大量案例；详细讲解了管理评审的实施过程，并用案例的方式演示了管理评审的全过程。第四部分为体系文件的编制，地介绍了器械质量管理体系文件的编制要求，给出了体系文件的编制格式。录给出了标准形成文件和记录的要求，以及质量手册文件范例。 《YY/T 0287-2
本书是数理逻辑方面的经典。书中涵盖了命题逻辑，一阶逻辑，不可判定性以及二阶逻辑等方面的内容，并且包含了与计算机科学有关的主题，如有限模型。本书特点是：内容可读性强，组织结构更灵活，授课教师可根据数学需要节选本书的内容，反映了近几年来理论计算机科学对逻辑学产生的影响。
