王永祥，吴心昭，蒋建民著2007 年出版88 页ISBN：7030188659
本书针对进程代数语言提出了对称性的概念，并给出了对称约简算法，同时证明了约简后的进程与原进程是交织迹和交织互模拟等价的，最后提供了两个有意义的实例来说明对称性的定义以及验证约简算法的正确性。...
汪海燕主编；肖沛权副主编2015 年出版390 页ISBN：9787562063872
本教材适当地将近年来刑事诉讼改革研究所取得的较为成熟的成果吸收进来，力求体现我国立法、司法以及学术研究的最新动态。此外，本教材以2012年修改后的《刑事诉讼法》以及最新发布的司法解释为主要阐述依据，重...
陆英主编；汪海红，姚杰副主编2011 年出版244 页ISBN：9787122110169
本教材将工程设计与AutoCAD 2008功能相结合，以绘制图样为目标，以AutoCAD为手段背景，来进行组织与编写，无论是对AutoCAD特软件的初学者，还是对有一定使用经验的读者都会提供良好的帮助。...
汪福祥主编2007 年出版351 页ISBN：7119048066
本书以大学英语写作基础知识为中心，包括词的使用、句子的构成、段落的安排、英语修辞的运用以及各种文体的写作，并配有大量优秀范例和范文。...
余朝林，汪龙舞主编2008 年出版395 页ISBN：9787221081827
本书是六盘水人民政府主持编纂的综合性、权威性资料工具书，全面反映了六盘水政治、经济、文化、社会诸方面的发展全貌。
汪建青，安丰明主编1993 年出版266 页ISBN：7561506031
本书内容涉及计算机硬件及系统维护、常用工具软件、计算机网络应用及设置、网页制作、办公自动化高级技巧、数字媒体制作等。
