1
|
程序转换技术-从Prolog到C |
李友仁
胡勇新
杨萍
张勇
|
《计算机工程与应用》
CSCD
北大核心
|
1994 |
4
|
|
2
|
程序转换与权利保障:刑事诉讼中精神病强制医疗程序的反思 |
郭华
|
《浙江工商大学学报》
|
2013 |
7
|
|
3
|
我国民事诉讼程序转换制度的缺陷及其完善 |
刘冬京
周胜明
|
《南昌大学学报(人文社会科学版)》
北大核心
|
2008 |
1
|
|
4
|
一种通过求解程序方程进行程序转换的方法 |
朱鸿
|
《计算机学报》
EI
CSCD
北大核心
|
1990 |
1
|
|
5
|
程序转换中的中间表示 |
谢卫
刘键
李胜利
|
《计算机工程与应用》
CSCD
北大核心
|
1993 |
0 |
|
6
|
一种实用的控制系统CAD程序转换方法 |
王伟
石志刚
|
《系统仿真学报》
CAS
CSCD
|
1992 |
0 |
|
7
|
磁带及其磁带程序转换和复制 |
唐全
李秀山
|
《南京邮电学院学报》
北大核心
|
1993 |
0 |
|
8
|
论Folding/Unfolding程序转换的能力 |
朱鸿
|
《软件学报》
EI
CSCD
北大核心
|
1991 |
0 |
|
9
|
基于模板式语法制导编辑器的程序转换系统 |
丁忠俊
|
《计算机研究与发展》
EI
CSCD
北大核心
|
1995 |
0 |
|
10
|
程序转换规则的自动获取 |
费宗铭
|
《计算机学报》
EI
CSCD
北大核心
|
1993 |
0 |
|
11
|
论证券特别代表人诉讼程序转换的司法审查 |
毛立琦
李友根
|
《学习与探索》
CSSCI
北大核心
|
2021 |
7
|
|
12
|
二维器件模拟软件PISCES的程序转换 |
黄雷
向采兰
余志平
|
《计算机应用与软件》
CSCD
北大核心
|
2003 |
0 |
|
13
|
一个自动并行程序转换工具 |
胡永刚
祝明
|
《计算机科学》
CSCD
北大核心
|
1998 |
0 |
|
14
|
基于解释的程序转换 |
丁琴
徐家福
|
《计算机学报》
EI
CSCD
北大核心
|
1992 |
0 |
|
15
|
以VB 6.0为基的数控切割程序格式转换与传输系统实现 |
蒋从根
朱青松
郎莹
|
《现代制造工程》
CSCD
北大核心
|
2011 |
0 |
|
16
|
DOOL程序语义等价转换为Datalog程序的转换规则 |
原锦辉
陶世群
|
《计算机工程与应用》
CSCD
北大核心
|
2005 |
0 |
|
17
|
数据库应用程序的转换方法 |
杜小勇
|
《软件学报》
EI
CSCD
北大核心
|
1992 |
0 |
|
18
|
缺席审判与违法所得没收程序的差异化构建与调适--以节省司法资源与追回国家资产为视角 |
郑英龙
路浩天
|
《浙江社会科学》
CSSCI
北大核心
|
2024 |
0 |
|
19
|
数控线切割机床ISO程序到3B程序的转换 |
邹蓉
方卫宁
汪林林
|
《计算机应用研究》
CSCD
|
1995 |
1
|
|
20
|
功能同源视角下刑事缺席审判与违法所得没收的交叉竞合及程序适用 |
郑磊
李建明
|
《东南大学学报(哲学社会科学版)》
CSSCI
北大核心
|
2024 |
3
|
|