倪德明副教授论文目录
| 作者 | 论文题目 | 刊物/会议/出版社名称 | 发表时间 |
刊物级别/著作类别 | 收录情况 |
| 倪德明，谭帅，潘志宇 | 基于sax模型的xml文档更新算法研究 | 中山大学学报，44卷，增刊2 | 2005年11月 | ||
|
陈华竣，郑智，倪德明 |
一种面向分层访问的目录结构在RDBMS中的存储方法 |
中山大学学报(自然科学版) |
2005年增刊，44卷 |
|
|
|
倪德明，张金波，余以胜 |
数据备份的数学模型及其性能评估模型 |
计算机研究与发展 |
2004年10月 |
|
|
|
罗杰云，倪德明 |
ARP协议的安全漏洞及其防范浅析 |
计算机系统应用 |
2003年5月
第五期 |
|
|
|
罗杰云,倪德明 |
ARP协议的安全漏洞及其防范浅析 |
计算机系统应用，2003
No.5 |
2003年 |
|
|
|
谭帅，倪德明，李磊 |
基于多代理的异构系统存储模型研究 |
中山大学学报(自然科学版)? |
|
|
|
|
冯波，陈子明，王伟杰，倪德明 |
OPC技术及其在工业控制中的作用 |
中山大学学报论丛,
第22卷
第3期 |
2002年6月 |
|
|
|
张学农,倪德明 |
一种非递归遍历二叉树的算法 |
中山大学学报自然科学版增刊
vol.41 |
2002年 |
|
|
|
倪德明 |
社保系统、户籍系统：劳动力资源管理系统对政策的适应性需求 |
第三届广东省青年科学家论坛 |
2001年12月 |
|
|
|
倪德明 |
线性逻辑与状态变迁系统 |
中山大学出版社，鞠实儿编《逻辑与认知论文集》 |
1999 |
|
|
|
倪德明 |
线性逻辑式程序设计的证明论基础 |
? |
1999 |
|
|
|
Ni Deming |
LLP: A
unified foundation for IP and CLP: a linear logic approach. |
Chinese
Journal of Advanced Software Research. |
1998
Vol.5，No.3.
pp243-2531997年第6期 |
|
|
|
倪德明,姚卿达 |
线性逻辑式程序设计基础 |
中山大学出版社，鞠实儿编《逻辑与认知论文集》 |
1997 |
|
|
|
Ni Deming |
Procedural
models of multi-conclusion Horn-clause: a linear logic approach. |
Chinese
Journal of Advanced Software Research. |
1996.
Vo,.3. No.2 202-206 |
|
|
|
倪德明 |
线性逻辑及其应用 |
哲学、逻辑与智能计算机，刊号：ISBN7-306-01541-9 |
? |
|
|
|
倪德明 |
线性逻辑式程序设计的证明论基础 |
哲学、逻辑与智能计算机，刊号：ISBN7-306-01541-9 |
? |
|
|
|
Dongming
Xu, Lan Ge, Deming Ni, Huaiqing Wang |
An
intelligent online learning system: development and evaluation |
7th
Americas Conference on Information Systems.Pp134-137 |
|
|
|
|
杨洁霞，倪德明 |
从产品与服务的观点看web教育系统 |
第三届广东青年科学家论坛论文集 |
|
|
|