退出
我的积分:
中文文献批量获取
外文文献批量获取
陈骏林;
无;
计算机网络; 协议模型; 形式描述法;
机译:P2P网络模型的形式化描述方法
机译:基于FSM,CSP和ADT的通信协议混合形式描述方法
机译:一种基于FSM,CSP和ADT的混合形式描述方法,用于通信协议
机译:软件体系结构的形式化描述方法
机译:用于移动应用程序的基于SIP的状态和动态发现协议的形式化,验证和可执行CPN模型。
机译:以过程为中心的临床路径描述方法—形式和决定因素
机译:建议理事会条例(EEC)以与合作协议第20条和欧洲经济共同体与摩洛哥王国之间的临时协议第13条有关的信函交换和关于进入共同体的形式交换协议来自摩洛哥的水果沙拉;建议理事会条例(EEC)以与“合作协议”第19条和“欧洲经济共同体与阿尔及利亚人民民主共和国之间的临时协议”第12条有关的信函交换的形式缔结协议,并涉及进口到来自阿尔及利亚的水果沙拉社区;建议理事会条例(EEC)以与合作协议第19条和欧洲经济共同体与突尼斯共和国之间的临时协议第12条有关的信件交换以及关于进入共同体的形式交换协议来自突尼斯的水果沙拉;建议理事会条例(EEC)以与欧洲经济共同体与以色列国之间的协议第1号议定书第9条有关的信件交换的形式缔结该协定,并涉及进口来自以色列的水果沙拉社区;建议理事会条例(EEC)以与欧洲经济共同体与以色列国之间的协议第1号议定书第9条有关的信件交换的形式缔结该协定,并涉及进口源自以色列的番茄浓缩物群落;建议理事会条例(EEC)以欧洲经济共同体与阿尔及利亚人民民主共和国之间的换文形式签订协议,并关于进口源自阿尔及利亚的番茄浓缩物群落(由委员会提交理事会)。 COm(76)633最终,1976年11月30日
机译:加密协议分析的形式化方法:新出现的问题和趋势
机译:人际感知趋势模型学习设备,人际认知状态估计设备,人际感知趋势模型学习方法,人际认知状态估计方法和程序
机译:用于生成形式需求规范模型的信息处理设备,方法和协议
机译:可执行通信协议描述方法和装置
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。