¥85.90定价:¥88.81 (9.68折)
正版 招募人才 高管创新精英及骨干员工的招聘与留用 猎头顾问书籍 招聘人力资源管理 HR人事行政管理书籍 金字塔原理 1
¥57.70定价:¥59.00 (9.78折)
“如果说有哪一本计算理论方面的书所有的大学图书馆都应该收藏,那就是这本书!” ——Choice杂志 作者简介: Martin D.Davis 著名计算机科学家和数学家。1950年在普林斯顿大学获得博士学位,与图灵同门(导师均为计算科学大师Alonzo Church)。后长期任教于纽约大学柯朗数学研究所。他是自动演绎理论先驱,还是DPLL算法的发明人之一,Post—Turin9机更使其声名远播。除本书外,他还著有经典名著Computability and Unsolvability。
¥67.10定价:¥79.00 (8.5折)