祝瑞玲主编；刘英霞，荆建立，姚丙申副主编2011 年出版229 页ISBN：9787564706333
本书共分10章，主要内容包括概述及EWB简介、半导体二极管及应用电路、半导体三极管及其基本放大电路、场效应管放大电路、多级放大电路、放大电路中的反馈、低频功率放大器、集成运算放大器、波形发生电路、...
刘新文，祝瑞著2017 年出版162 页ISBN：9787516199626
本书主要有以下内容：第一，比较全面研究了作为模态逻辑新分支的混合逻辑，这些研究对象是以这一族逻辑中的极小系统为主；第二，在介绍可证性逻辑新阶段发展成果——核证逻辑的基础上，建立了混合的核证逻辑的极小系.....
