退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:HLa组件集成标准的形式化建模与分析
Robert J. Allen; David Garlan; James Ivers;
机译:Enterprise JavaBeans〜TM组件集成框架的形式化建模
机译:HLA建筑风格的形式化建模与分析
机译:时间触发架构中节点重新集成的形式化建模和分析
机译:HLA组件集成标准的正式建模和分析
机译:软件组件交互测试的正式模型和分析
机译:HOLON / CADSE:集成开放软件标准和正式方法以生成基于准则的决策支持代理。
机译:HLA组件集成标准的形式化建模和分析
机译:Enterprise JavaBeans(Tm)组件集成框架的形式化建模
机译:一种信息建模,表示和集成的信息进程与不同型号的知识表示的无需使用正式语言的方法,这是一种基于结构化数据的有限集合来呈现描述这些对象的半结构化数据的方法
机译:用于信息建模的方法,并且代表不同知识表示模型的信息过程的任意对象,而无需集成和正式语言,以及用于基于结构化数据的有限集合描述所述对象的半结构化数据的方法
机译:用于信息建模的方法,以及不同知识表示模型的信息过程的任意对象,而无需集成和正式语言,以及用于基于结构化数据的有限集合描述所述对象的半结构化数据的方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。