退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:算术$$ mu $$ -calculi的最佳可靠性检查
Daniel Hausmann; Lutz Schröder;
机译:检验算术逻辑是否满足的函数消除方法
机译:MU - COMPULAS满足算术约束
机译:丰富的μ计算模块检查
机译:算术μ计算的最佳可满足性检查
机译:基于FPGA的可靠性检查
机译:测量可靠性的可靠性和最佳测量数量心理算术反应时间测试
机译:用预算算法实现布尔代数的有效可满足性检验
机译:通过使用收集装置(“ P.Ickup”)在具有多个记录层的信息可记录盘的存储介质中记录数据的再现方法,其用于在包括多个记录层的信息可记录盘的存储中记录数据/再现的设备。M ec00ia存储包括多个可记录信息记录层。包括多个记录层的信息可记录盘的存储中的数据。用于对am ec00数据存储中的每个记录层执行功率优化控制的方法(“最优功率控制”-OPC)具有多个camAdas和磁盘驱动器的记录。
机译:满意度检查
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。