返回首页 联系帮助

登录注册
user
  • 我的订单
  • 在线充值
  • 卡密充值
  • 会员中心
  • 退出登录
59图书的logo
59图书
  • 交通运输
  • 军事
  • 农业科学
  • 医药卫生
  • 历史地理
  • 哲学宗教
  • 天文地球
  • 工业技术
  • 政治法律
  • 数理化
  • 文化科学教育体育
  • 文学
  • 环境安全
  • 生物
  • 社会科学
  • 经济
  • 自然科学
  • 航空航天
  • 艺术
  • 语言文字
  • 面向计算机科学的数理逻辑系统建模与推理 英文版·第2版

    下载此书RAR压缩包在线购买PDF电子书

    (英)胡思(Huth,M.)伦敦帝国学院(MICHAELHuth)著2005 年出版427 页ISBN:7111160533

    本书提供了与现代计算机科学以及实际应用相关的重要内容,并且更大程度地满足了上述两种需求。

  • 休闲研究引论

    下载此书RAR压缩包在线购买PDF电子书

    (英)布尔(Bull,C.),(英)胡思(Hoose,J.),(英)韦德(Weed,M.)著;田里等译2006 年出版267 页ISBN:7811120496

    本书结合新时代需求应用学科研究方法,对休闲现象研究提供了一个基本概念和理论系统框架。内容涉及休闲的历史发展、性质、需求、休闲生活方式、性别及群体等。...

  • INTRODUCTION TO CONSTRUCTION

    下载此书RAR压缩包在线购买PDF电子书

    MARK HUTH1980 年出版351 页ISBN:0827317379

  • EARLY CHILDHOOD EDUCATION 98/99 NINETEENTH EDITION

    下载此书RAR压缩包在线购买PDF电子书

    KAREN MENKE PACIOREK JOYCE HUTH MUNRO1998 年出版230 页ISBN:

  • 面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems

    下载此书RAR压缩包在线购买PDF电子书

    (德)Michael Huth,(英)Mark Ryan著;何伟,樊磊译2007 年出版277 页ISBN:7111213971

    本书对计算机科学方面的数理逻辑进行了综合介绍,涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题,反映了计算机科学中数理...

  • SUSAN B.ANTHONY AND THE STRUGGLE FOR EQUAL RIGHTS

    下载此书RAR压缩包在线购买PDF电子书

    CHRISTINE L.RIDARSKY AND MARY M.HUTH2012 年出版245 页ISBN:9781580464253

  • The democratic peace and territorial conflict in the twentieth century

    下载此书RAR压缩包在线购买PDF电子书

    Paul K.Huth and Todd L.Allee2002 年出版494 页ISBN:0521805082

  • Logic in Computer Science Modelling and Reasoning about Systems 〔Second Edition〕

    下载此书RAR压缩包在线购买PDF电子书

    Michael Huth2004 年出版427 页ISBN:

  • 大排档诗情

    下载此书RAR压缩包在线购买PDF电子书

    胡思著2001 年出版148 页ISBN:9624503141

  • 透视西方广告音乐

    下载此书RAR压缩包在线购买PDF电子书

    胡思思著2019 年出版0 页ISBN:

1 2 3 4 5 6 7 8 9 10 下一页尾页
如有任何问题,可联系 pdfbook123@proton.me

关于我们 | 隐私声明