退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:最伟大的定点语言和有理Omega-Tree语言:扩展的抽象语言(算法:数学基础和应用)
Takahashi Masako;
机译:计算机科学基础专节:计算机科学和算法的数学基础和应用
机译:计算机科学基础专节:算法和计算机科学的数学基础和应用
机译:Rational BDI Agent编程语言的逻辑基础(扩展版)
机译:扩展和完善用于业务流程执行语言的Web服务体系结构的抽象操作语义。
机译:医疗应用平台的基本安全原则(扩展摘要)
机译:最优双基链的动态规划算法:扩展摘要(计算机科学和算法的数学基础和应用)
机译:使用抽象语言表达用于操纵硬件状态的算法的方法和系统
机译:用抽象语言表达用于操纵硬件状态的算法的方法和系统
机译:科学或技术问题的演化方法,涉及在应用计算机程序完成的公式生成中应用演化原理时获得用于解决问题的数学公式或算法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。