退出
我的积分:
中文文献批量获取
外文文献批量获取
孟策; 贺也平; 罗宇翔;
中国科学院;
软件研究所;
北京;
100190;
研究生院;
100049;
静态分析; API一致性检验; 等值分析; 指针分析;
机译:分析印度养蜂场(Apis mellifera)和野生蜜蜂(Apis dorsata和Apis florea)蜂蜜中的杀虫剂残留。
机译:使用静态分析从SDL手写生成C代码和自动生成C代码之间的比较
机译:通过形态学分析调查蜂窝状(Apis Mellifera Carnica)在蜂窝状(Apis mellifera carnica)中的降压腺体活性与基于ITRAQ的比较蛋白质组学的形态学分析
机译:二进制一致性检验方案及其在地震层位检测中的应用
机译:创建用于分析晶体周期表面和晶体分子模型中矿物学上重要位置的算法:通过目视检查等值拉普拉斯表面的曲率和形状来了解电子密度函数。
机译:在跨研究潜在增长曲线分析中纳入测量非等值
机译:1758年在圣保罗州的Apis mellifera L.(Apis melipera L.)生产的野花,桉树和橙树蜂蜜的理化分析。 2.糖和蛋白质含量巴西圣保罗州的Apis mellifera L.,1758年(Hymenoptera,Apidae)生产的野花,桉树花和柑桔类蜂蜜中的蜂蜜的理化分析。 2.糖和蛋白质含量
机译:评估静态分析工具以检测C代码中的缓冲区溢出
机译:体积分析中的等值点指示方法
机译:在放射治疗中采用等值线或等值面的剂量归一化
机译:安全等值系统,安全等值设备,安全等值方法和程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。