IWDMA'94 国际离散数学与算法研讨会文集pdf电子书版本下载

点此进入-本书在线PDF格式电子书下载【推荐-云解压-方便快捷】直接下载PDF格式图书。移动端-PC端通用
种子下载[BT下载速度快] 温馨提示：（请使用BT下载软件FDM进行下载）软件下载地址页 直链下载[便捷但速度慢]   [在线试读本书]   [在线获取解压码]

IWDMA'94 国际离散数学与算法研讨会文集PDF格式电子书版下载

下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。

建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如 BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！

（文件页数 要大于 标注页数，上中下等多册电子书除外）

注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具

1 On Latin Arrays&Renji Tao 1

2 Cordial Labeling of mKn&David Kuo＆Gerand J.Chang 15

3 Partial Sorting Networks with Applications&Shuo-Yen Rebert Li 27

4 Functional Database Theory FDT and Lisp Database&Jiepan Xu＆Tung Wang 44

5 Exploring the Use of String Substitution in Modular Exponentiation&Lucas Chi Kwong Hui＆Kwok—Yan Lam 60

6 Some Results on Subset Interconnection Designs&Jaime D.L.Caro＆Polly W.Sy 68

7 Software Development Automation&Jian Ping Yin＆Huo Wang Chen 76

8 Quasiphysical and Quasisocial Method for Tackling NP—hard Prob-lems&Wenqi Huang 89

9 The Structure of an Undirected Graph that is not K—Vertex—Con-nected and its Application on Smallest Four—Vertex—Connectivity Augmentation&Tsan—sheng Hsu 92

10 Scheduling Distributed Tasks in Hard Real—Time Environment with a Movable Server&Hua lin,Mi Lu＆Wei Zhao 114

11 Theory of Program Computation over Rings and Fields&Xiang Li 126

12 A Discrete Optimization Approach for Redistribution Model&Sydney C.K.Chu 127

13 Data Security Equals Graph Connectivity&Ming—Yang Kao 134

14 Model and Designs for Path Layout in ATM Networks&O.Gerstel＆S.Zaks 148

15 Difficulties in Approximation of Polygonal Curves&W.S.Chan＆F.Chin 163

16 How Difficult is it to Obtain a Chromatic Polynomial?&Qi Cheng＆Hong Zhu 172

17 The Complexity of Approximation for k—KNAPSACK&Li—ang Zhang 177

18 Generaliged Exponents of Bookan Matrices&Bolian Liu 181

19 Discrete Mathematics,Pansystems Phiosophical Logic and A.I.&Youngli Li 192

20 A Dimensional—pure Decomposition for Polynomial Ideals&Lian Li 201

21 Programming via Proof—a case study&Yiqiang Ding＆Yongsen Xu 214

22 The Improved Algorithm for Generating Adjacent Matrix of Projected Graph And It's Application to Software Testing&Yinghan Qiu＆Huoyan Chen 219

23 An Analogical Knowledge Representation and its Logical Descrip-tion&Yulong Luo,Bo Li＆Qinping Zhao 228

24 Natural Language Interfaces Based upon Speech Acts&Yunlin Su＆Wen Zheng 238

25 A Sieve Method on Factorization of Polynomials&Renbao Zhong 251

26 A Note on FF Bin Packing Algorithm&Lin Zhao＆Ze—zeng Zhang 256