科研证明
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
邵微饮;
中国计算机学会;
程序语言;
机译:用于协议符合性验证的正式硬件规范语言
机译:行为接口规范语言
机译:使用电化学和吸附技术去除工业废水中的Reactofix超红HBSL
机译:基于可扩展代理行为规范语言的基于行为的机械手编程
机译:将视觉规范语言应用于硬件协议验证。
机译:霸王达尔1D367Y模型重新承认了Leukodystrophy HBSL的关键方面
机译:带有并行面向对象的规范语言的软件/硬件工程
机译:pOOsL的语义:面向对象的硬件/软件系统分析和设计规范语言
机译:用于提供配置规范语言的方法,系统和程序产品,该配置规范语言支持配置实体的选择性表示
机译:提供配置规范语言的方法,系统和程序产品,该配置规范语言支持用于配置构造的任意映射功能
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。