退出
我的积分:
中文文献批量获取
外文文献批量获取
徐文超;
黑河出入境检验检疫局 黑龙江黑河 164300;
网络协议; 形式化分析; 符号模型检验;
机译:网络协议设计的一种形式化方法
机译:机器人服务网络协议(机器人服务网络协议)2.0针对传播季的机器人服务基础
机译:角桁架的二阶分析与设计第一部分:弹性分析与设计
机译:具有时间约束的网络协议鲁棒性测试的一种形式化方法
机译:超越财产:哥伦比亚农村财产的形式化和制图国=超过房地产:哥伦比亚和制图国家的农村财产形式化
机译:豚鼠对形式化和非形式化副Para虫抗原提取物的同质反应。
机译:在面向对象分析与设计中使用案例建模期间的形式化与数据抽象
机译:目的组织分析与设计的形式化技巧
机译:半导体器件分析与设计装置以及半导体器件分析与设计方法
机译:测量形式化设备,测量形式化方法和测量形式化程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。