退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:编程语言规范和实现中的先例
Aasa Annika;
机译:编程语言规范和实现的先例
机译:评估工程应用程序的编程语言:工程师是否应该以50年代的编程语言实现80年代的算法?
机译:走向自然编程:将与语言无关的要求映射到受约束的语言规范
机译:术语图重写作为并发的面向对象编程语言的规范和实现框架
机译:通过中间规范语言FunZ从Z规范派生纯功能程序的形式化方法。
机译:一个新开发的自由软件工具用于平均脑电图以Perl编程语言实现的
机译:编程语言规范和实现的优先顺序
机译:图形规范和约束语言,用于开发用于硬件实现和使用的程序
机译:用于开发硬件实现和使用程序的图形规范和约束语言
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。