退出
我的积分:
中文文献批量获取
外文文献批量获取
张伟良; 王一超; 冯重熙;
清华大学电子工程系通信与信息系统,;
管理目标定义指南; 行为模板; 形式化描述 ;
机译:一种在软件设计过程中对控制系统行为进行形式化描述的方法
机译:由于纯粘性流动液体流引起的流体动力磁性力的沟槽域磁化优化(GDMO):计算研究
机译:基于Perovskite型氧化物GDMO3(M = Fe,Co)的溶胶 - 凝胶合成和研究催化剂
机译:一种使用GDMO模板基于管理服务规范在许多管理应用程序中开发通用管理服务的方法
机译:溶致液晶模板光敏聚合物的相行为和刺激响应。
机译:交联剂对分子印迹聚合物中模板络合的影响:与模板聚合物识别行为和NMR光谱研究相关的预聚合混合物事件的计算研究
机译:GDMO行为描述的形式化方法
机译:通过对话形式化描述的模型检验,交互系统的词汇,句法和语义属性的V和V.
机译:验证GDMO模板引用并提供GDMO模板的有序列表的过程
机译:用于记录GDMO翻译器,GDMO翻译方法和GDMO翻译器程序的记录介质
机译:GDMO翻译器,GDMO翻译方法以及包含用于GDMO翻译器的程序的记录介质
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。