退出
我的积分:
中文文献批量获取
外文文献批量获取
张侹; 王璠; 韩柯;
中国计算机学会;
模型检验; 变异分析; 线性时序逻辑; 有限状态系统; 形式化验证; 测试用例;
机译:基于Spintip的基于Spintip的敏感和定量分析,在体内脑糖蛋白组中解决的敏感和定量分析
机译:使用自动分割和基于PCA的分析方法研究晚期帕金森病患者丘脑下核,红核和黑质的形态变异性
机译:来自西印度群岛(Chiroptera:Phyllostomidae)的胚胎(Acari:Spinturnicae)的新物种,包括对其内部内部变异的形态学分析
机译:利用SPINE-HRV工具包进行时域心率变异性分析
机译:性选择 在美国 金翅雀 ( Spinus tristis ) : 上下文相关的 变异 女性偏爱
机译:开发一种自我指导的基于网络的运动干预(SPIN)以治疗脊髓损伤患者的肩部疼痛:一项混合方法研究的协议
机译:使用自动分割和基于PCA的分析方法研究晚期帕金森病患者的丘脑下核,红核和黑质的形态学变异性。 :中脑核的PCA形态计量变异性分析
机译:spinocopia的形态学,Ontogeny和种内变异,一种新的myodocopid Ostracod(sarsiellidae)属。史密森尼对动物学的贡献8
机译:基于准分子荧光的核酸分析与检测方法研究
机译:方法研究心率变异性
机译:基于阴极电致发光的低成本电极芯片变异体和多分析物分析和再建立方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。