扫一扫
关注中图网
官方微博
>
关于“顺权”检索到 共3种现货商品
-
eLearning教学应用与资源制作
¥69.6(7.1折)定价:¥98.0本书向广大教师介绍对象化富媒体资源的制作原理、制作过程和制作技巧，并将广大教师置于高可用性资源共享环境建设者的角度，阐述如何以“具有教育教学单元含义”的数字化学习对象制作、整合与共享资源...
-
中国果树科学与实践枇杷/中国果树科学与实践
¥61.6(6.7折)定价:¥92.0本书站在技术实践的角度，全面总结了枇杷在我国的栽培、研究、应用历史，介绍了枇杷的自然分布、栽培分布、区划、枇杷的遗传研究进展、枇杷的栽培技术、枇杷的产业发展、枇杷产品的传统和现代加工、枇杷的成分、营养等内容，可供相关专业的科技人员、枇杷适宜栽培区的管理者以及枇杷及其加工品经营者参考。书中注重于实践，对于种质资源、优良品种及其特性，各适宜栽培区的地理、气候条件的分析，分子生物学在枇杷研究中的进展等均有结合近期新进展和很好结果的介绍...
-
分析基础机器证明系统
¥156.4(7.9折)定价:¥198.0本书利用交互式定理证明工具Coq，在朴素集合论的基础上，从Peano五条公设出发，完整实现Landau有名的《分析基础》中实数理论的形式化系统，包括对该专著中全部5个公设、73条定义和301个定理的Coq描述，其中依次构造了自然数、分数、分割、实数和复数，并建立了Dedekind实数完备性定理，从而迅速且自然地给出数学分析的坚实基础。在分析基础形式化系统下，给出Dedekind实数完备性定理与它的几个有名等价命题间等价性的机器证明，这
