编程和计算机软件,第27卷
第27卷第1期,2001年1月
谢尔盖·A·阿布拉莫夫 , 亚历山大·克鲁科夫 , V.A.罗斯托夫采夫 :
1999-2000年计算机代数科学研究研讨会。 1-3 S.I.Serdyukova公司 :
使用REDUCE求解二维离散薛定谔方程的反问题。 4-5 A.M.密提基纳 , 安娜·A·里亚本科 :
代数函数表示为特殊类型的幂级数和分数幂级数。 6-11 丹尼斯·赫梅尔诺夫 :
MEG-消除。 12-17 亚历山大·古塞夫 , V.N.萨莫洛夫 , V.A.罗斯托夫采夫 , 谢尔盖·维尼茨基 :
弱电场中氢原子的代数微扰理论。 18-21 弗拉基米尔·普·格特 , D.A.亚诺维奇 , 尤里·布林科夫 :
快速搜索Janet除数。 22-24 玛丽娜·孔德拉蒂娃 , V.A.米特尤宁 :
Dirac方程中改变生成器时微分维数多项式的计算。 25-28 A.V.纽卡宁 , P.A.纽卡宁 :
多变量超几何级数的图解技术。 29-34 哈奇勒 :
关于Zeilberger算法对有理函数的q模拟。 35-42 M.V.Sosnin先生 :
微分多项式的非参数分解算法。 43-49 V.M.米赫列夫 :
编程语言MARKIZ中的数据定义。 50-56
第27卷第2期,2001年3月
伊戈尔·波托辛 :
《华尔街日报》特刊前言。 57 瓦莱里·A·内波米纳希 , Gennady I.Alekseev先生 , 亚历山大·V·拜斯特罗夫 , 谢尔盖·梅尼科夫 , E.V.Okunshnikova公司 , P.A.丘巴列夫 , 塔蒂亚娜·丘里娜 :
使用高级Petri网验证Estelle指定的通信协议。 58-68 丹尼尔·巴伯林 , 米哈伊尔·布卢扬科夫 , 帕维尔·G·埃米利亚诺夫 , N.N.菲拉基纳 :
程序重组中的可视化设施。 69-77 S.I.Katkov公司 , 伊戈尔·波托辛 :
并行计算算法开发的支持设施。 78-85 S.K.切尔诺日金 :
自动测试生成和静态分析。 86-94 埃夫格尼·彼得罗夫 , 塔提亚娜·雅克诺(Tatyana M.Yakhno) :
细分模型和逻辑编程:约束的实现。 95-100 余先生。 洛恩科 :
以保证的精度评估初等函数。 101-110
第27卷第3期,2001年5月
亚历克谢·亚。 卡利诺夫 , 亚历克谢·拉斯托夫斯基 , 伊利亚·莱多夫斯基 , 米哈伊尔·波西普金 :
多层存储体系结构的C[]语言向量语句的编译。 111-122 维克托·克鲁科夫 , R.V.乌多维琴科 :
调试DVM程序。 123-129 E.A.Zhogolev公司 :
图形编辑器和图形语法。 130-138 尤里·布林科夫 :
对合除法的单项式分离方法。 139-141 弗拉基米尔·柯尼亚克 :
李超代数的上同调计算:算法与实现。 142-145 维克托·卡西亚诺夫 :
编程中的图形应用。 146-164 Lidiya V.Gorodnyaya女士 , V.D.Irtegov先生 , 尼泊尔北部 , 伊戈尔·波托辛 , 塔蒂亚娜·丘里娜 :
全西伯利亚编程公开赛(新西伯利亚州立大学)。 165-167
第27卷第4期,2001年7月
维克托·马利什金 :
来自并行计算专刊编辑。 169-169 奥尔加·L·班德曼 :
计算数学中的细粒度并行。 170-182 伊琳娜·洛马佐娃 :
递归嵌套Petri网:语义属性和可扩展性分析。 183-193 S.V.Bakhanovich公司 , 尼克莱·A·利霍德 :
一种通过向量调度函数并行化算法的方法。 194-199 A.S.尼泊尔 :
Edmonds的最优图分支算法在关联并行处理器上的表示。 200-206 V.A.托加舍夫 , I.V.Tsarev公司 :
具有动态体系结构的多处理器并行计算和编程组织方法。 207-216 亚历山大·P·瓦杰宁 , 尼古拉·米伦科夫 :
可视化编程系统VIM。 217-226
第27卷第5期,2001年9月
弗拉基米尔·艾弗布克 :
可视化隐喻。 227-237 维克托·托波科夫 :
分布式程序数据流模型的可满足性。 238-244 A.G.托马索夫 , M.A.卡辛 , 于。 一、帕霍莫夫 :
确保分布式介质中的容错。 245-251 弗拉基米尔·普罗霍罗夫 , D.V.斯米尔诺夫 :
多级模糊环境下费用估算与优化模型。 252-259 安纳托利·沙利托 , N.I.Tukkel公司 :
开关技术:一种自动开发反应系统软件的方法。 260-276 B.F.梅尔尼科夫 :
非确定性游戏编程中的启发式。 277-288
第27卷第6期,2001年11月
斯维亚托斯拉夫·谢尔盖维奇-拉夫罗夫 :
论程序设计基础与数学的关系。 289-296 列奥尼德·索科林斯基 :
具有层次结构的多处理器数据库机中并行查询处理的组织。 297-308 尼古拉·阿尼西莫夫 , 叶夫根尼·戈伦科夫 , 德米特里·哈里托诺夫 :
并发和分布式系统开发的组合Petri网方法。 309-319 A.M.戈雷利克 :
Fortran编程语言的最新国际标准。 320-328 迈克尔·奥赫蒂列夫 :
测量信息实时处理和分析程序的构建。 329-335 V.A.科洛斯科夫 , M.V.Medvedeva公司 :
容错多微控制器自组织的主动环境模型。 336-344 E.A.Zhogolev公司 :
1999-2000和2000-2001学年计算机辅助程序设计研究讲习班。 345-347