退出
我的积分:
中文文献批量获取
外文文献批量获取
文志诚; 缪淮扣; 许庆国;
上海大学计算机学院;
上海;
200072;
Object-Z; CSP ; 形式规格说明; 参数化进程; 转化;
机译:并发系统的规范,细化和验证-Object-Z和CSP的集成
机译:一种通过碱催化的Csp3-Csp3键裂解将Bedaquiline的非活性立体异构体再循环到两个先前的中间体中的高效方法
机译:在非人类灵长类动物中,Poly(I:C)是一种有效的佐剂,可用于抗体和多功能CD4 + T细胞对恶性疟原虫环子孢子蛋白(CSP)和αDEC-CSP的应答。
机译:CSP-OZ:Object-Z和CSP的组合
机译:一种评估饮食物质与药物相互作用风险的转化方法。
机译:肌营养不良的一种转化方法:一种常见的肌营养不良症
机译:表达Csp和ama1的腺病毒-5-载体恶性疟原虫疫苗。 B部分:Csp组分的安全性,免疫原性和保护功效
机译:报纸回收目标的规格说明支持设备,报纸回收目标的规格说明支持方法以及报纸回收目标的规格说明支持程序
机译:电双层电容器的电压保持率规格说明方法和电双层电容器的电压保持率规格说明方法
机译:规格说明方法及规格说明装置
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。