返回首页 联系帮助

登录注册
user
  • 我的订单
  • 在线充值
  • 卡密充值
  • 会员中心
  • 退出登录
59图书的logo
59图书
  • 交通运输
  • 军事
  • 农业科学
  • 医药卫生
  • 历史地理
  • 哲学宗教
  • 天文地球
  • 工业技术
  • 政治法律
  • 数理化
  • 文化科学教育体育
  • 文学
  • 环境安全
  • 生物
  • 社会科学
  • 经济
  • 自然科学
  • 航空航天
  • 艺术
  • 语言文字
  • 模型检测

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

    (美)EDMUND M.CLARKE JR.,ORNA GRUMBERG,DORON A.PELED著;李刚,宋雨等译2015 年出版223 页ISBN:9787121272950

    模型检测是一种用于自动验证有限状态并发系统的技术,与基于模拟、测试和演绎推理的传统技术相比,具有许多方面的优势。本书涵盖的内容包括模型检测的基本知识、模态逻辑、符号化技术、SAT Solver、限界模型检...

  • 美国作家访谈录

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

    (美)查尔斯·鲁亚斯(Charles Ruas)著;粟 旺等译1995 年出版309 页ISBN:750010359X

  • 攀援植物的运动和习性

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

    (英)达尔文(Charles Robert Darwin)著;张肇骞译1957 年出版102 页ISBN:13031·447

  • 反思课堂交流 亚洲案例

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

    (新加坡)Thomas S.C.Farrell著;余艳译2005 年出版161 页ISBN:7501946264

  • 网络安全实施方法

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

    (美)Thomas A.Wadlow著;潇湘工作室译2000 年出版174 页ISBN:711508761X

  • 《合唱指挥教科书》 德版

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

    KURT THOMAS著1959 年出版378 页ISBN:

  • 塑胶工艺学

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

    (美)彻里(Raymond Cherry)原著;钟越光译1978 年出版444 页ISBN:

  • COLLEGE PHYSICS

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

    RAYMOND A. SERWAY JERRY S. FAUGHN1985 年出版836 页ISBN:0030623782

  • BLOOD CULTURES

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

    RAYMOND C.BARTLETT1974 年出版6 页ISBN:

  • GENERAL CHEMISTRY

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

    RAYMOND CHANG1986 年出版1024 页ISBN:0394341228

首页上一页76 77 78 79 80 81 82 83 84 85 下一页尾页
如有任何问题,可联系 pdfbook123@proton.me

关于我们 | 隐私声明