退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:证明信息系统的事件排序属性
M. Frappier; R. Laleau;
机译:使用事件B方法证明开发了IEEE 1394根争用协议的实时属性
机译:动态几何系统证明3D几何属性
机译:证明条件项重写系统终止特性的依赖对
机译:用抽象指导的仿真证明数字系统的特性。
机译:方案:引入具有滥用威慑特性的OxyContin®制剂后,综合卫生系统中阿片类药物过量的发生率和中毒事件的变化
机译:用专用定理箴言证明基本净系统的特性
机译:用于治疗和/或预防肿瘤的肾上腺素以及生产具有(即时改善的)肿瘤回归特性的肾上腺素的方法
机译:利用广告测验证明在线事件服务的方法和在线事件系统
机译:利用广告测验和在线事件系统提供在线事件服务的方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。