退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:用于多线程Java的工具支持的证明系统
Erika Ábrahám; Frank S. De Boer; Willem-paul De Roever; Martin Steffen;
机译:一个带异常的多线程Java演绎证明系统
机译:用于多线程Java的基于断言的证明系统
机译:Java中的多线程:多核系统上的性能和可伸缩性
机译:编写智能辅导系统的工具支持的方法。
机译:NSeq:一个多线程Java应用程序用于从测序数据中查找定位的核小体
机译:在多处理器上确定性重放Java多线程程序的方法和设备
机译:自动识别高电阻接地多线程系统中可疑接地故障位置的方法;具有计算机可执行指令的计算机可读介质,用于自动识别高电阻接地多线程系统中的可疑接地故障位置;和控制器,以自动识别高电阻接地多线程系统中的可疑接地故障位置
机译:基于程序约束构造的多线程程序输出唯一性测试与证明的方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。