吴学东，奉恒高主编；钟海青，何龙群，吴尽昭，玉时阶副主编2011 年出版348 页ISBN：9787105117000
本书是广西“十一五”规划“瑶学丛书”的子课题。作者拟通过这本书的研究和写作，对茶山瑶的独特历史和传统特色文化进行深入分析，使其更为细致、完整、系统，成为瑶族总体研究中的有效部分。...
（美）埃德蒙·M.克拉克（EDMUNDM.CLARKE，JR.），（美）ORNAGRUMBERG，（美）DORONA.PELED著；吴尽昭，何安平，高新岩译2018 年出版226 页ISBN：9787121352744
模型检测是一种用于自动验证有限状态并发系统的技术，与基于模拟、测试和演绎推理的传统技术相比，具有许多方面的优势。本书共分18章，涵盖的主要内容包括模型检测的基本知识、模态逻辑、符号化技术、SATSolver...
吴尽昭，王永祥，覃广平著2007 年出版109 页ISBN：7030188667
本书主要研究了IMC的理论及其在性能评价与层次化分析方面的应用。主要包括三个方面的内容：1. IMC上的分支时间等价和前序关系；2. 基于IMC的模型检验；3. IMC上的动作细化理论。...
