现货速发 幼儿与环境 致力于可持续发展的早期教育 [澳]朱莉 儿童早期可持续性教育 幼教理论前瞻系列 南京师范大学出版N
¥86.70定价:¥88.00 (9.86折)
R语言之书 编程与统计 r语言编程实战数据可视化与统计分析基础 R语言数据处理分析绘图r语言入门教程计算机程序设计书籍童
¥128.00定价:¥138.00 (9.28折)
¥59.30定价:¥69.80 (8.5折)
¥75.60定价:¥89.00 (8.5折)
¥33.70定价:¥45.00 (7.49折)
“如果说有哪一本计算理论方面的书所有的大学图书馆都应该收藏,那就是这本书!” ——Choice杂志 作者简介: Martin D.Davis 著名计算机科学家和数学家。1950年在普林斯顿大学获得博士学位,与图灵同门(导师均为计算科学大师Alonzo Church)。后长期任教于纽约大学柯朗数学研究所。他是自动演绎理论先驱,还是DPLL算法的发明人之一,Post—Turin9机更使其声名远播。除本书外,他还著有经典名著Computability and Unsolvability。
¥61.60定价:¥79.00 (7.8折)
¥54.40定价:¥68.00 (8折)