您好,欢迎光临本网站![请登录][注册会员]  

搜索资源列表

  1. Handbook of Model Checking

  2. With 32 technical articles and 76 authors, this handbook represents a full postgraduate course in Model Checking. If a reader can verify that he or she has read and studied every article, then Springer should certainly award that reader a Master’s D
  3. 所属分类:讲义

    • 发布日期:2018-06-01
    • 文件大小:14680064
    • 提供者:feixingfei
  1. Tragic Design--2018

  2. You’ll explore: Designs that can kill, including the bad interface that doomed a young cancer patient Designs that anger, through impolite technology and dark patterns How design can inadvertently cause emotional pain Designs that exclude people thr
  3. 所属分类:其它

    • 发布日期:2018-08-06
    • 文件大小:17825792
    • 提供者:kxg1005
  1. IMO MODU CODE 2009

  2. Resolution A.1023(26) Adopted on 2 December 2009 (Agenda item 10) CODE FOR THE CONSTRUCTION AND EQUIPMENT OF MOBILE OFFSHORE DRILLING UNITS, 2009 (2009 MODU CODE) THE ASSEMBLY, RECALLING Article 15(j) of the Convention on the International Maritime
  3. 所属分类:项目管理

    • 发布日期:2018-10-18
    • 文件大小:1033216
    • 提供者:weixin_43454375
  1. incomplete-seed:查找种子短语的最后2个单词-源码

  2. 查找种子短语的最后2个单词 安装 下载 打开终端并运行: git clone cd npm i 跑 node run.js 3GQyrjScz3RVEbFNv3JivfUaUKucGzsrtK "powder diet size immune maid deputy mouse world ordinary slot walnut wink merge seven polar code seek duty endorse tragic journey usage"
  3. 所属分类:其它

    • 发布日期:2021-03-21
    • 文件大小:13312
    • 提供者:weixin_42131414