退出
我的积分:
中文文献批量获取
外文文献批量获取
余川江; 缪淮扣;
上海大学计算机工程与科学学院;
组件; COM; 形式化; Z规格说明;
机译:Microsoft组件对象模型中聚合与接口协商之间的冲突分析
机译:分析Microsoft组件对象模型中聚合与接口协商之间的冲突
机译:基于描述逻辑的服务编排验证的一种形式化方法
机译:使用Microsoft的组件对象模型(COM)来改进高级数据采集和处理系统(ADAP)的实时显示开发
机译:大学课程注册和管理系统:使用Microsoft分布式组件对象模型的分布式应用程序
机译:使用Microsoft Excel电子表格进行元分析和森林图:专注于描述性数据分析的分步指南
机译:关于各向异性介质非线性弹性一致描述的形式化形式描述cohérentedel'élasticitéinlinéairedesmilieux anisotropes
机译:通过对话形式化描述的模型检验,交互系统的词汇,句法和语义属性的V和V.
机译:模型集成描述性架构语言的形式化执行
机译:使用合适的本体从功能/模态数据重构过程的形式化描述模型的方法,系统和软件装置
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。