编程和计算机软件,第31卷
第31卷第1期,2005年1月
瓦莱里·A·内波米纳希 :
在改变的数据结构上验证确定迭代的符号方法。 1-9 亚历山大·科萨切夫 , 米哈伊尔·波西普金 :
编译器测试方法综述。 10-19 亚历克谢·亚。 卡利诺夫 , 康斯坦丁·卡加诺夫 , K.V.科伦科 :
开发使用并行程序结构语义的调试器的方法。 20-28 叶卡捷琳娜·戈尔什科娃 , 鲍里斯·诺维科夫 , D.D.贝洛夫 , V.S.古罗夫 , S.V.斯皮里多诺夫 :
基于UML的web应用程序控制器建模。 29-33 D.A.利佐金 , K.Yu。 利索夫斯基 :
用函数方法实现XML链接语言XLink。 34-46 弗拉基米尔·瓦西里维奇·利帕耶夫 :
大型软件系统的开发和质量控制问题。 47-49
第31卷第2期,2005年3月
谢尔盖·阿布拉莫夫 , 阿拉·波哥卢布斯卡娅 , V.A.罗斯托夫采夫 , 维克托·埃德内尔 :
2003-2004年计算机代数研究研讨会。 51-55 谢尔盖·查列夫(Sergey P.Tsarev) :
关于有理求和问题。 56-59 S.P.波利亚科夫 :
有理函数的符号加性分解。 60-64 安娜·A·里亚本科 , S.L.斯科罗霍多夫 :
超几何项和的渐近性。 65-72 弗拉基米尔·P·格特 , D.A.亚诺维奇 :
有理数上Janet和Gröbner基的并行计算。 73-80 A.S.塞梅诺夫 :
对合除法:切片和对属性。 81-86 弗拉基米尔·柯尼亚克 :
哈密顿向量场的限制李代数的上同调:计算机分析。 87-90 玛丽娜·孔德拉蒂娃 , A.I.奥夫钦尼科夫 :
常微分方程的特征集。 91-96 A.V.Mesyanzhin公司 :
关于求理想根的方法。 97-102 A.I.波哥卢布斯基 , S.L.斯科罗霍多夫 :
用计算机代数方法构造广义高斯-雅可比求积。 103-109
第31卷第3期,2005年5月
-
尼古拉·彼得罗维奇·布鲁森佐夫诞辰纪念日。 111-112 里玛·I·波德洛夫琴科 , 德米特里·鲁萨科夫 :
用常数编程方案。 113-122 维克托·托波科夫 , 安娜·S·托波科娃 :
测量碎片程序的执行时间。 123-132 D.A.利佐金 :
通过XLink链接连接的XML文档的查询语言。 133-148 S.L.斯科罗霍多夫 , D.V.赫里斯托夫罗夫 :
克服奇异点拥挤情况下广义超几何积分求值的不稳定性。 149-156 V.V.莫纳霍夫 , A.V.Kozhedub公司 , P.A.Naumenko先生 , L.A.Evstigneev公司 , M.A.克鲁克利斯 , D.V.Solodovnikov公司 , I.B.科尼茨基 :
BARSIC:物理学家编程系统。 157-165
第31卷第4期,2005年7月
谢尔盖·D·什托夫巴 :
蚂蚁算法:理论与应用。 167-178 F.M.普契科夫 , K·A·沙普琴科 :
检测缓冲区溢出漏洞的静态分析方法。 179-189 V.M.米赫列夫 :
编程语言MARKIZ中控制结构的具体特征。 190-196 A.V.列昂诺夫 , R.R.库斯努丁诺夫 :
XML文档DTD生成系统的研究与开发。 197-210 O.A.斯莱文 :
可变内容结构化文档的识别算法。 211-223
第31卷第5期,2005年9月
伊戈尔·康诺夫 , 弗拉基米尔·扎哈罗夫 :
对称参数化分布式系统的验证方法。 225-236 S.E.巴扎诺夫 , V.P.库特波夫 , D.A.谢斯塔科夫 :
功能并行类型化语言及其在集群上的实现。 237-269 尼克莱·A·利霍德 , S.V.Bakhanovich公司 , A.V.Zherelo公司 :
获得仿射变换以提高循环嵌套的局部性。 270-281 鲍里斯·科·巴拉迪安 , Alexey G.Voloboi公司 , N.I.V’yukova公司 , 弗拉基米尔·加拉克提诺夫 , 尼古拉·德利亚宾 :
照明建模和使用互联网技术生成真实图像。 282-291
第31卷第6期,2005年11月
亚利桑那州。 Savel’ev公司 :
将集合划分为简单部分的算法。 293-300 维克托·库利亚明 :
使用被测系统上的最小信息构建测试序列。 301-309 谢尔盖·泽列诺夫 , 索菲亚·泽列诺娃 :
为解析器生成阳性和阴性测试。 310-320 S.S.戈雷洛夫 , V.A.瓦森宁 :
使用文档模式层次结构的半结构化数据库搜索优化。 321-331 O·G·沙洛夫 , A.N.阿法纳斯 :
基于自动机图形语法的可视化语言的语法导向实现。 332-339 瓦莱里·科斯滕科 , E.S.古尔亚诺夫 :
集中控制总线交换调度算法及其效率分析。 340-346 伊琳娜B.维氏夕卡岩 :
2006年6月27日至30日,在俄罗斯阿卡德姆戈罗多克新西伯利亚举行的第六届安德烈·埃尔肖夫国际纪念会议“系统信息学的观点”上的信息公告。 347-349