期刊


ISSN0132-3474
刊名Программирование
参考译名程序设计
收藏年代2008～2023



全部

2008 2009 2010 2011 2012 2013
2014 2015 2016 2017 2018 2019
2020 2021 2022 2023

2020, no.1 2020, no.2 2020, no.3 2020, no.4 2020, no.5 2020, no.6

题名作者出版年年卷期
ТЕСТОВЫЕ ЭКВИВАЛЕНТНОСТИ ВРЕМЕННЫХ СЕТЕЙ ПЕТРИЕ. Н. Боженкова; И. Б. Вирбицкайте20202020, no.4
ДЕДУКТИВНАЯ ВЕРИФИКАЦИЯ REFLEX-ПРОГРАММИ. С. Ануреев; Н. О. Гаранина; Т. В. Лях; А. С. Розов; В. Е. Зюбин; С. П. Горлач20202020, no.4
ИСПОЛЬЗОВАНИЕ СИСТЕМЫ РАЗНОРОДНЫХ ПАТТЕРНОВ ОНТОЛОГИЧЕСКОГО ПРОЕКТИРОВАНИЯ ДЛЯ РАЗРАБОТКИ ОНТОЛОГИЙ НАУЧНЫХ ПРЕДМЕТНЫХ ОБЛАСТЕЙЮ. А. Загорулько; О. И. Боровикова20202020, no.4
НЕКОТОРЫЕ НЕДОСТАТКИ ВХОДНОГО СИНТАКСИСА KeYmaeraТ. Баар20202020, no.4
СРЕДСТВА ДИНАМИЧЕСКОГО АНАЛИЗА ПРОГРАММ В КОМПИЛЯТОРАХ GCC И CLANGН. И. Вьюкова; В. А. Галатенко; С. В. Самборский20202020, no.4
ИССЛЕДОВАНИЕ ТЕХНОЛОГИИ Nvidia RTXВ. В. Санжаров; В. А. Фролов; В. А. Галактионов20202020, no.4



制造业外文文献服务平台