豆瓣图书标签: 自动

综合排序  /  按出版日期排序  /  按评价排序
  • 交互式定理证明与程序开发

    YvesBertot、PierreCasteran / 顾明 / 清华大学出版社 / 2010-1 / 59.00元
    (少于10人评价)

    《交互式定理证明与程序开发:Coq归纳构造演算的艺术》的主要目标是从实践的角度来理解Coq系统及其基本理论,即归纳构造演算。这《交互式定理证明与程序开发:C...

  • 水电自动装置检修

    电力行业职业技能鉴定指导中心 / 中国电力 / 2011-7 / 23.00元
    (目前无人评价)

    《水电自动装置检修(第2版)》是按照劳动和社会保障部制定国家职 业标准的要求编写的,其内容主要由职业概况、职业技能培训、职业技能 鉴定和鉴定试题库四部分组成...

  • 思考,快与慢

    [美] 丹尼尔·卡尼曼 / 胡晓姣、李爱民、何梦莹 / 中信出版社 / 2012-7 / 69.00元
    8.1 (10837人评价)

    《纽约时报》2011年度十大好书 新书上市,连续20多周蝉联亚马逊、《纽约时报》畅销书排行榜前20名,上市至今超过7个月,横扫全球各大畅销书排行榜,稳居亚马...


相关的标签  · · · · · ·



> 浏览全部图书标签