退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:抽象规范的演讲
Dershowitz Nachum; Kirchner Claude;
机译:抽象的规范介绍
机译:平台摘要:脊髓损伤专家学院教育会议2013:脊髓损伤的面貌内华达州拉斯维加斯巴里酒店,2013年9月2日至4日平台摘要1至29摘要1-3 ASCIP是获奖的学生研究报告*
机译:通过dcpo演示进行规范扩展和规范性
机译:用于抽象视觉和交互设计的规范抽象原型
机译:用于抽象意义代表的多车和DAG自动机
机译:海报展示摘要/创新展示摘要
机译:多变量系统的辨识与规范和伪规范形式的表示
机译:一种将抽象表示转换为语言表示的方法和方法
机译:统计静态时序分析中规范时序值表示的叠加
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。