当前位置:首页 > 汪永祥主编相关PDF电子书下载
-
进程代数 对称与动作细化
王永祥,吴心昭,蒋建民著2007 年出版88 页ISBN:7030188659本书针对进程代数语言提出了对称性的概念,并给出了对称约简算法,同时证明了约简后的进程与原进程是交织迹和交织互模拟等价的,最后提供了两个有意义的实例来说明对称性的定义以及验证约简算法的正确性。...
-
-
-
-
AutoCAD 2008应用基础
陆英主编;汪海红,姚杰副主编2011 年出版244 页ISBN:9787122110169本教材将工程设计与AutoCAD 2008功能相结合,以绘制图样为目标,以AutoCAD为手段背景,来进行组织与编写,无论是对AutoCAD特软件的初学者,还是对有一定使用经验的读者都会提供良好的帮助。...
-
-
-
-
六盘水年鉴 2007
余朝林,汪龙舞主编2008 年出版395 页ISBN:9787221081827本书是六盘水人民政府主持编纂的综合性、权威性资料工具书,全面反映了六盘水政治、经济、文化、社会诸方面的发展全貌。
-
