退出
我的积分:
中文文献批量获取
外文文献批量获取
王戟; 李宣东;
国防科学技术大学,计算机学院,并行与分布处理国防科技重点实验室,湖南长沙410073;
计算机软件新技术国家重点实验室(南京大学),江苏南京210093;
南京大学,计算机科学与技术系,江苏南京210093;
机译:形式化和工具配备的状态图和形式化数据类型集成方法
机译:关于“地理信息系统中的新颖方法和软方法:决策支持的观点”的专刊的前言
机译:类型系统-用于编程语言的形式化方法和形式化工具
机译:前言小说:英国和美国小说前言的历史。
机译:前言专刊细胞周期与调控
机译:海洋工程流动建模粒子方法专刊的前言
机译:信息保护技术的形式化方法任务1:基于形式语法的方法和模拟计算机网络攻击工具第二部分
机译:测量形式化设备,测量形式化方法和测量形式化程序
机译:业务形式化程序,业务形式化方法和业务形式化设备
机译:用于产生前言的方法和装置用于前言的OR表格,SHABLON等。
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。