豆瓣图书标签: Types

综合排序  /  按出版日期排序  /  按评价排序
  • The Little Typer

    Daniel P. Friedman、David Thrane Christiansen、Duane Bibby、Robert Harper、Conor Mcbride / MIT Press / 2018-10-16 / GBP 30.00
    (12人评价)

    An introduction to dependent types, demonstrating the most beautiful aspects, ...

  • 人文类型

    [英] 雷蒙德·弗思 / 费孝通 / 华夏出版社 / 2002-1 / 25.00元
    7.9 (116人评价)

    本书在广泛的民族志材料的基础上,探讨了历史、地理因素是如何决定一个民族的生活的;文化作为自然环境的产物,是如何在不同社会中解决经济、技术、组织和性等问题的。...

  • Types and Programming Languages

    Benjamin C. Pierce / The MIT Press / 2002-2-1 / USD 95.00
    9.1 (76人评价)

    A type system is a syntactic method for automatically checking the absence of ...

  • Advanced Topics in Types and Programming Languages

    Pierce, Benjamin C. 编 / The MIT Press / 2004-12-23 / USD 74.00
    (少于10人评价)

    The study of type systems for programming languages now touches many areas of ...

  • 请理解我 : 凯尔西人格类型分析

    [美] 大卫·凯尔西 / 王甜甜 / 中国城市出版社 / 2011-2 / 45.00元
    8.2 (713人评价)

    •性格学世界级畅销书 •性格色彩学创始人乐嘉鼎力推荐 •畅销30年,风靡全球170多个国家,改变4000多万人的命运 •惠普、福特、英特尔、西门子、戴尔、通...

  • Seven Types of Ambiguity

    Elliot Perlman / Picador / 2003
    (少于10人评价)
  • Lambda Calculus with Types

    Henk Barendregt、Wil Dekkers、Richard Statman / Cambridge University Press / 2013-7-31 / USD 90.00
    (少于10人评价)

    The lambda calculus forms a prototype universal programming language, which in...

  • Puppet Types and Providers

    Bode, Dan; Liu, Nan; / 2012-12 / $ 22.59
    (少于10人评价)

    Puppet's true power exists in the simple resource model it uses to manage the ...


相关的标签  · · · · · ·



> 浏览全部图书标签