退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:随机测试高阶,有状态计划
Casey Klein; Matthew Flatt; Robert Bruce Findler;
机译:对高阶,有状态计划的随机测试
机译:生成证明的将高阶逻辑转换为纯状态XML
机译:高阶有状态ADT的关系可实现性模型
机译:高阶有状态程序的随机测试
机译:图割,亚模总和和线性规划:高阶马尔可夫随机场中的有效推论。
机译:在社区环境中测试对基于证据的程序的实施支持:Getting ToOutes®的复制集群随机试验
机译:对HigherOrder,有状态程序进行随机测试
机译:预测高阶核酸结构的方法,预测高阶核酸结构的装置以及预测高阶核酸结构的程序
机译:预测核酸高阶结构的方法,预测核酸高阶结构的装置以及预测核酸高阶结构的程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。