编程和计算机软件,第28卷
第28卷第1期,2002年1月
瓦莱里·A·内波米纳希 :
数据结构元组上有限迭代的验证。 1-8 G.舒科维奇 :
遗传算法和图形生成系统在模块化神经网络创建中的应用。 9-14 E.G.苏霍夫 :
递归单元格旋转方法。 15-19 V.A.加拉滕科 , K.A.Kostyukhin公司 :
调试和监视分布式异构系统。 20-27 Arutyun Avetisyan公司 , 塞尔盖·盖萨里安 , 奥列格·萨莫沃洛夫 :
分布式内存异构并行计算系统上包含简单循环和迭代循环的并行程序的最佳执行可能性。 28-40 V.V.霍多罗夫斯基 :
关系数据库中关系的规范化。 41-52 亚历山大·萨姆林 :
关于“系统信息学的观点”国际会议的信息。 53-56
第28卷第2期,2002年3月
-
Igor Vasil'evich Pottosin(1933年2月21日至2001年12月15日)。 57-58 谢尔盖·阿布拉莫夫 , 亚历山大·克鲁科夫 , V.A.罗斯托夫采夫 :
2000-2001年计算机代数科学研究研讨会。 59-61 弗拉基米尔·P·格特 :
对合基计算中的一种算法优化。 62-65 D.A.亚诺维奇 :
对合Janet基计算算法的并行化。 66-69 O.S.Paramonova公司 , A.W.纽卡宁 :
Appel函数和Horn函数转换公式的计算机辅助分析。 70-75 弗拉基米尔·柯尼亚克 :
分裂共链复合体以计算李(超)代数的上同调的方法。 76-80 Kondratéva先生 :
用特征集计算微分理想生成元的例子。 81-83 于。 G.巴利语 :
作为最优控制问题的数值积分的修正。 84-87 V.V.基斯连科夫 :
加快密集网格上函数计算的方法。 88-91 安娜·A·里亚本科 :
含m-超几何级数的线性常微分方程的形式解。 92-101 丹尼斯·赫梅尔诺夫 :
求解线性函数方程的基选择。 102-105 里玛·I·波德洛夫琴科 :
“纠缠”程序的程序方案等效变换。 106-116
第28卷第3期,2002年5月
-
爱德华·齐诺夫·埃维奇·吕宾斯基诞辰70周年。 117-118 S.A.尼吉扬 , S.A.阿维提斯人 :
非类型化功能程序的语义。 119-126 Jean-Claude Royer女士 :
类语义的操作方法:应用于类型检查。 127-147 弗拉基米尔·阿尔拉扎罗夫 , A.S.Loginov公司 , O.A.斯莱文 :
光学文本识别程序的特点。 148-161 瓦莱里·科斯滕科 :
软硬件联合设计中的进度建设问题。 162-173 伊戈尔·朱克利内茨 , 丹尼斯·霍廷斯基(Denis A.Khotimsky) :
分布式软件系统中的逻辑时间。 174-184
第28卷第4期,2002年7月
米哈伊尔·科加洛夫斯基 :
数字图书馆:持续发展(摘自特刊编辑)。 185-188 马克西姆·格里内夫 , 谢尔盖·库兹涅佐夫 :
UQL:一种基于UML的集成数据查询语言。 189-196 K.Yu。 利索夫斯基 :
方案中的XML应用程序开发。 197-206 伊戈尔·内克雷斯特亚诺夫 , N.V.潘特列娃 :
Web文本检索系统。 207-225 I.E.库拉勒诺克 , 伊戈尔·内克雷斯特亚诺夫 :
文本检索系统的评估。 226-242
第28卷第5期,2002年9月
亚历山大·奥霍廷 :
连接语法和语言方程组。 243-249 安纳托利·沙利托 , N.I.Tukkel公司 :
将迭代算法转换为自动机算法。 250-260 N.I.V’yukova公司 , V.A.加拉滕科 , 桑博斯基S.V , S.M.舒马科夫 :
具有显式并行性的处理器体系结构的有效代码生成。 261-279 拉斐尔·科切罗 , 何塞·安东尼奥·佩雷斯 , 安东尼奥·鲁伊斯·科尔特斯 :
MOWS背景下的多方协调。 280-289 尤里·布林科夫 :
托利理想的珍妮特基的计算。 290-292 S.V.阿戈什科夫 , P.A.德米特里夫 :
电子出版物维护系统。 293-300
第28卷第6期,2002年11月
里玛·I·波德洛夫琴科 :
带有交换算子和单调算子的程序模型中的等价变换。 301-313 瓦莱里·A·内波米纳希 , 伊戈尔·S·阿努雷耶夫 , I.N.米哈伊洛夫 , 阿列克谢·波姆斯基 :
C程序的验证。 C-Light语言及其形式语义。 314-323 安德烈·V·尼基廷 , 卢德米拉·尼基蒂娜 :
基于遗传算法的数据流机器模块化联想存储器优化进化模型。 324-332 亚历克谢·亚。 卡利诺夫 , 亚历克谢·拉斯托夫斯基 , 伊利亚·莱多夫斯基 , 米哈伊尔·波西普金 :
C[]语言的精细描述。 333-341 弗拉基米尔·马扎洛夫 , D.N.朱拉夫列夫 :
计算机网络流量变化检测问题中的累积和方法。 342-348 A.P.希巴诺夫 :
以太网局域网仿真的软件实现技术。 349-355 列奥尼德·卡利尼琴科 , 米哈伊尔·科加洛夫斯基 , 谢尔盖·库兹涅佐夫 :
ACM SIGMOD莫斯科分会成立十周年。 356-359