退出
我的积分:
中文文献批量获取
外文文献批量获取
杨放青; 陈俊亮;
不详;
SESDL; SDL语言; 支撑环境; 数据库;
机译:SDL — TRAN —形式描述语言SDL的交互式生成器
机译:航空场景定义语言(ASDL)中的模拟场景的形式验证
机译:动态实语言及其在SDL指定的分布式系统验证中的应用
机译:对齐和雇用联盟战斗管理语言(C-BML)和军事方案定义语言(MSDL)的策略
机译:jakonjói/ h?'k? '何吗?我/ - 一个生命良好的声音,单词,语言和消息:解脱沉船 - konibo字典和语言= jakonjói/ h?'k? '何吗?我/ - 一个真正的声音,单词,语言和消息,赋予生命:DEDOLONIZED
机译:校正:CsdL / TcdA的晶体结构和小角度X射线分析揭示了MoeB / E1超家族中一个新的tRNA结合基序。
机译:学习语言游戏以提高轻量级SDLB的技能班轮学生的模型:万隆SDLB-C学生的单项研究)
机译:原型系统描述语言(psDL)的复杂性度量
机译:万维网上使用Web服务描述语言(WSDL)标准的Web服务分发系统,包括以WSDL消息格式统一生成所有故障情况的实现
机译:万维网上使用Web服务描述语言(WSDL)标准的Web服务分发系统,包括以WSDL消息格式统一生成所有故障条件的实现
机译:基于WSDL语言的自动化设备通信系统
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。