退出
我的积分:
中文文献批量获取
外文文献批量获取
胡思博; 骆杰;
中国政法大学民商经济法学院,中国北京100088;
中国保监会北京监管局,中国北京100033;
民事裁定; 类型化; 静态划分; 动态划分;
机译:法院协议的选择和实践联系原则:评中国最高法院关于“英雄”网络游戏管辖权纠纷案的民事裁定
机译:以脚本语言集成类型化和非类型化代码
机译:用于高阶子类型化的类型化操作语义
机译:在脚本语言中集成类型化和非类型化代码
机译:类型化的自适用元编程
机译:UBC-尼泊尔考察:2016年不列颠哥伦比亚大学对尼泊尔喜马拉雅山进行科学考察的实验性概述
机译:美国环境保护署署长的民事裁定评估程序:无论发生在法律上的是法官的行政决策?
机译:依赖于特定于域的逻辑的类型化编程
机译:视频交付考察系统,媒体和方法
机译:考察多个任务点的路径规划方法及其装置
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。