退出
我的积分:
中文文献批量获取
外文文献批量获取
卢永江; 严晓浪; 葛海通; 杨军;
浙江大学超大规模集成电路设计研究所,杭州,310027;
浙江财经学院信息学院,杭州,310012;
二叉决策图; 形式验证; 割集; 量化;
机译:Mg2 +和Na +离子的等价性取决于大肠杆菌RNA聚合酶开放复合物的平衡结合和解离速率常数的盐依赖性。
机译:具有星形割集和2联接的无孔无偶图的分解
机译:使用地球化学和同位素工具与三维流量和运输建模相结合地下水依赖性陆地生态系统对地下水依赖性陆地生态系统的量化
机译:基于门级电路割集匹配的等价性检查算法
机译:钙结合蛋白的表征和功能:钙调蛋白,钙依赖性蛋白依赖性NAD激酶和原核钙结合蛋白
机译:验证北部波白(Colinus virginianus)的无创技术量化压力的验证
机译:经典克莱因 - 戈登场理论的等价性 对应原理第一量化无自旋相对论自由 粒子
机译:新型ICOs非依赖性,但CD28和sap依赖性T细胞依赖性,多糖特异性体液免疫对完整肺炎链球菌与肺炎球菌结合疫苗的反应途径
机译:赌博依赖性验证方法,赌博依赖性验证服务器,用户终端,信息处理设备,赌博依赖性验证程序和赌博依赖性验证系统
机译:处理器实例化的交易层模型与寄存器转移层之间的等价性验证
机译:软件规格依赖性验证装置及软件规格相互依赖性验证方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。