胡正国，吴健，邓正宏编著2009 年出版266 页ISBN：9787118060515
本书主要介绍了程序设计方法学这一学科的主要内容，即结构化程序、程序正确性证明、结构化程序的正确性证明、递归程序及其正确性证明、程序开线推导、程序变换技术等。...
陈正俊，张奔，张蓓蓓著2008 年出版143 页ISBN：9787801868091
本书为高职高专艺术设计类教材。全书分设计概念与内涵、设计的发展、设计的分类、设计的特质、设计心理与思维、设计批评、设计师的素质与技能等章节，是一本专业素质理论课教材。...
曹明贵，盛正国，念延辉等编著2007 年出版500 页ISBN：9787505865167
建设社会主义新农村是我国现代化进程中的重大历史任务。本书主要分析并深入探讨农民专业合作组织、土地经营流转、失地农民补偿机制、农业补贴政策、农村劳动力转移等16个农业核心问题。...
