A.V.普罗姆斯基。 C内核的错误跟踪公理语义。 (英语) Zbl 1374.68115号 Jt.(约)。牛市。NCC IIS,序列号。计算。科学。 31123-138(2010年).MSC公司:68号30 03B70号 第68页第19页 68问题55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.V.Promsky},Jt。牛市。NCC IIS,序列号。计算。科学。31123--138(2010年;Zbl 1374.68115) 全文: 链接
M.S.塔尔科夫。 阵列微处理器NM6403上的实时图像旋转。 (英语) Zbl 1080.68721号 Jt.(约)。牛市。NCC IIS,序列号。计算。科学。 21, 113-118 (2004).MSC公司:68单位10 第68页第19页 68周05 PDF格式BibTeX公司 XML格式引用 \文本{M.S.Tarkov},Jt。牛市。NCC IIS,序列号。计算。科学。21113--118(2004年;Zbl 1080.68721)
Bredikhin,S.V.公司。;利亚普诺夫,V.M。;新几内亚Shcherbakova。 网络监控和分析系统。审查和操作经验。 (英语) Zbl 1101.68318号 Jt.(约)。牛市。NCC IIS,序列号。计算。科学。 21, 33-56 (2004).MSC公司:68M10个 第68页第19页 90B18号机组 PDF格式BibTeX公司 XML格式引用 \textit{S.V.Bredikhin}等人,Jt。牛市。NCC IIS,序列号。计算。科学。21、33——56(2004;Zbl 1101.68318)
科尔涅夫(V.D.Korneev)。 并行程序的高级通信功能。 (英语) Zbl 1029.68035号 Jt.(约)。牛市。NCC IIS,序列号。计算。科学。 17, 31-38 (2002).MSC公司:第68页第19页 68号01 68N25号 68宽10 PDF格式BibTeX公司 XML格式引用 \文本{V.D.Korneev},Jt。牛市。NCC IIS,序列号。计算。科学。17,31-38(2002年;兹bl 1029.68035)
Yu Zagourko。答:。;于科斯托夫。五、。;I.G.波波夫。 在知识表示语言中细分数据类型和约束。 (英语) Zbl 1004.68048号 Jt.(约)。牛市。NCC IIS,序列号。计算。科学。 16, 153-170 (2001).MSC公司:第68页第19页 68立方英尺 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{Yu.A.Zagorulko}等人,Jt。牛市。NCC IIS,序列号。计算。科学。16、153--170(2001年;Zbl 1004.68048)
Kleymenov,A。;D.佩图宁。;A.塞梅诺夫。;瓦热耶夫,I。 计算问题的合作求解器模型。 (英语) Zbl 1004.68047号 Jt.(约)。牛市。NCC IIS,序列号。计算。科学。 16, 115-127 (2001).MSC公司:第68页第19页 68T20型 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{A.Kleymenov}等人,Jt。牛市。NCC IIS,序列号。计算。科学。16、115-127(2001年;Zbl 1004.68047)
E.A.波科齐。 参数时间Petri网的行为分析。 (英语) Zbl 0952.68095号 Jt.(约)。牛市。NCC IIS,序列号。计算。科学。 1999年11月59日至75日. 审核人:M.F.穆尔济纳(新西伯利亚) MSC公司:68问题85 03B44号 第68页第19页 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{E.A.Pokozy},Jt。牛市。NCC IIS,序列号。计算。科学。11、59-75(1999年;Zbl 0952.68095)
A.V.扎姆林。 类型Gurevich机器的面向对象规范。 (英语) 兹比尔0951.68084 Jt.(约)。牛市。NCC IIS,序列号。计算。科学。 8, 101-127 (1998). 审核人:M.F.穆尔济纳(新西伯利亚) MSC公司:第68季度第65季度 PDF格式BibTeX公司 XML格式引用 \文本{A.V.Zamulin},Jt。牛市。NCC IIS,序列号。计算。科学。8101--127(1998年;Zbl 0951.68084)