四大粮油作物高产技术问答 微积分基础引入软件求解 七堂极简物理课 本体评价与本体不一致诊断 有用的工具简单筛选的理论与实践 现代逻辑学讲义模态逻辑 实践荟萃 工程地质认识与分析 绿叶蔬菜病虫原色图谱 直升机理论