王永祥，吴心昭，蒋建民著2007 年出版88 页ISBN：7030188659
本书针对进程代数语言提出了对称性的概念，并给出了对称约简算法，同时证明了约简后的进程与原进程是交织迹和交织互模拟等价的，最后提供了两个有意义的实例来说明对称性的定义以及验证约简算法的正确性。...
王永祥，王爱光主编2008 年出版222 页ISBN：9787811025347
1932年，张学良在东北大学第四届毕业典礼暨体育专修科毕业典礼上，亲自宣布刘长春为运动员、宋君复兼教练和翻译，代表中国首次参加在美国洛杉矶举办的第十届奥运会。开创了中华体育新纪元，实现了“零”的突破。...
王永祥主编（天津商业大学外语教学部）2009 年出版210 页ISBN：9787111255970
本书主要包括商务信函，商务邀请，求职信等方面的知识。
任隆良，谷晋骐主编；宋克威，李文成，王永祥编2009 年出版423 页ISBN：9787561829349
本书介绍物理实验的基本理论和基础知识，基本实验，设计性实验，近代物理实验和综合物理实验等。
