Поиск по названию
[3221] Юркин Ю. А.
Верификация математических моделей механохимической кинетики трения и накопления повреждений в конструкционных материалах при разрушении: автореферат диссертации на соискание ученой степени канд. техн. наук :05.17.08,05.13.06 / Ю. А. Юркин. - М., 2007. - 27 с. : ил. - Библиогр.: с. 26-27(6 назв.). -Держатели документа: ГПНТБ России
Экз-ры: ХР(1)
ГРНТИ: 55.03.11
УДК: 621.891.001.57(043)
Рубрика: Водородная энергетика Экология

[3222] Макарова М. А.
Верификация мезоскопической модели в реологии полидисперсных вязкоупругих полимерных сред: автореферат диссертации на соискание ученой степени канд. физ.-мат. наук :05.13.18 / М. А. Макарова. - Барнаул, 2007. - 23 с. : ил. - Библиогр.: с. 22-23 (14 назв.). -Держатели документа: ГПНТБ России
Экз-ры: ХР(1)
ГРНТИ: 31.25.15
УДК: 678-404.8.01:532.135(043)
Рубрика: Строительно-монтажные работы / Справочники

[3223] Кларк мл. Э. М.
Верификация моделей программ: Model Checking: монография / Э.М.Кларк, мл.,О.Грамберг,Д.Пелед;Пер.с англ.В.Захарова и др.;Под ред.Смелянского. - М. : Изд-во Моск.центра непрерывного мат.образования, 2002. - 416 с. - Пер. изд. : Model Checking / E. M. Clarke, O. Grumberg, D. Peleed. - Cambridge, 1999. - 1000 экз. - ISBN 5-94057-054-2 : Б. ц. Библиогр.:с.377-399 (251 назв.)Держатели документа: ГПНТБ России
Доп.точки доступа: Грамберг, О.; Пелед, Д.; Clarke, E. M.; Grumberg, O. Peleed, D.
Экз-ры: фмз(1), хр(1)
ГРНТИ: 50.05.13
УДК: 004.415.5
Рубрика: Программы для ЭВМ / Верификация

[3224] Кузьмин Е. В.
Верификация моделей программ: учеб. пособие / Е. В. Кузьмин ; под ред. В. А. Соколова. - Ярославль : ЯрГУ, 2008 (Ярославль) . - 174 с. : ил. - Библиогр.: с. 173-174 (25 назв.). - 200 экз. - ISBN 978-5-8397-0599-9 : Б. ц. В надзаг.: Яросл. гос. ун-т им. П. Г. Демидова.Держатели документа: ГПНТБ России
Экз-ры: хр(1)
ГРНТИ: 50.05.13
УДК: 004.415.5
Рубрика: Программы для ЭВМ / Верификация

[3225] Кольцов Д. В.
Верификация объектов и сервисов в распределенных системах: автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.11 / Д. В. Кольцов. - М., 1996. - 15 с Библиогр.:с. 14-15 (3 назв.)Держатели документа: ГПНТБ России
Экз-ры: (1)
ГРНТИ: 50.39.29
УДК: 004.75(043)
Рубрика: Операционные системы

[3226] Коннов И. В.
Верификация параметризированных моделей распределенных систем: автореферат диссертации на соискание ученой степени канд. физ.-мат. наук :05.13.11 / И. В. Коннов. - М., 2008. - 26 с. - Библиогр.: с. 25-26(7 назв.) В надзаг.: МГУ им. М.В. Ломоносова, Фак. вычислит. мат. и кибернетикиДержатели документа: ГПНТБ России
Экз-ры: ХР(1)
ГРНТИ: 50.05.13
УДК: 004.415.5(043)
Рубрика: Электротехника / Съезды и конференции Электромеханика / Съезды и конференции Техническая диагностика / Съезды и конференции

[3227] Медведев В. Ф.
Верификация прогнозов: разговорник / В.Ф.Медведев,Т.О.Ляднова. - Минск : [б. и.], 1989. - 69 с. : ил. - (Сер.06.75.13,Упр.,планирование,программирование и прогнозирование:Обзор.информ. / Белорус.НИИ НТИ и техн.-экон.исслед.Госэкономплана БССР). - 207 экз. - 4.70 р. Библиогр.: с. 67-68 (25 назв.)Держатели документа: ГПНТБ России
Доп.точки доступа: Ляднова, Т.О.
Экз-ры: хр(2)
ГРНТИ: 06.75
УДК: 338.27
Рубрика: Прогнозирование

[3228] Шклярук Ф. А.
Верификация программного комплекса SUHAM-U на основе расчета двумерного benchmark-эксперимента на критической легководной сборке VENUS-2 с урановым и МОХ топливом: препринт / В. Ф. Бояринов [и др.]. - М., 2005. - 21 с. - (Препринт / "Курчатовский ин-т", российский науч. центр (Москва) ; ИАЭ-6378/5). - Библиогр.: с. 21(8 назв.). - 65 экз. - Б. ц.Держатели документа: ГПНТБ России
Доп.точки доступа: Бояринов, В.Ф.; Давиденко, В.Д.; Невиница, В.А.; Цибульский, В.Ф.
Экз-ры: хр(1)
ГРНТИ: 29.15.53
УДК: 621.039.512.4(04)
Рубрика: Нейтроны / Диффузия

[3229] Саранцев П. В.
Верификация программного обеспечения информационно-диагностического оборудования системы управления и защиты атомных энергетических реакторов: автореферат диссертации на соискание ученой степени канд. техн. наук :05.13.01,05.13.11 / П. В. Саранцев. - М., 2004. - 27 с. : ил. - Библиогр.: с. 26(6 назв.). -Держатели документа: ГПНТБ России
Экз-ры: ХР(1)
ГРНТИ: 50.05.13 58.33.35
УДК: 004.415.5(043) 621.039.538(043) 621.039.56(043)
Рубрика: Радиосигналы

[3230] Синицын С. В.
Верификация программного обеспечения: учеб. пособие / С. В. Синицын, Н. Ю. Налютин. - М. : Интернет-Университет Информационных технологий : БИНОМ. Лаборатория знаний, 2008 (Ульяновск) . - 367 с. : ил. - (Основы информационных технологий). - 2000 экз. - ISBN 978-5-94774-825-3 () : Б. ц.Держатели документа: ГПНТБ России
Доп.точки доступа: Налютин, Н.Ю.
Экз-ры: фмз(1), хр(1)
ГРНТИ: 50.05.13
УДК: 004.415.5
Рубрика: Программное обеспечение ЭВМ / Верификация

Объявление:

[3231] Микитюк К. О.
Верификация программы LOOP-1/MODI на экспериментах с естественной циркуляцией жидкой топливной соли: препринт / К. О. Микитюк, П. Н. Алексеев, В. В. Игнатьев. - М., 1993. - 21 c. : ил. - (Препринт / "Курчатовский ин-т",российский науч.центр(Москва) ; ИАЭ-5692/5). - 67 экз. - Б. ц.Держатели документа: ГПНТБ России
Доп.точки доступа: Алексеев, П.Н.; Игнатьев, В.В.
Экз-ры: хр(1)
ГРНТИ: 58.33.05
УДК: 621.039.517(04)
Рубрика: Ядерные реакторы жидкосолевые / Теплофизика

[3232] Лукьянов А. А.
Верификация программы MCU на сернии критических экспериментов с высокообогащенным топливом и водяным замедлителем: препринт / А.Н.Алексеев,Е.А.Гомин,М.И.Гуревич, . - М., 1996. - 20 с. - (Препринт / "Курчатовский ин-т",российский науч.центр(Москва) ; ИАЭ-6009/5). - 104 экз. - Б. ц.Держатели документа: ГПНТБ России
Доп.точки доступа: Алексеев, А.Н.; Гомин, Е.А.; Гуревич, М.И.
Экз-ры: хр(1)
ГРНТИ: 58.33.37
УДК: 621.039.519.4(04)
Рубрика: Ядерные реакторы / Критические сборки

[3233] Гуревич М. И.
Верификация программы MCU-РФФИ применительно к водо-водяным реакторам: препринт. / Н.И.Алексеев,В.И.Брызгалов,Е.А.Гомин и др. - М., 1995. - 31 c. - (Препринт / "Курчатовский ин-т",российский науч.центр(Москва) ; ИАЭ-5932/5). - 120 экз. - Б. ц.Держатели документа: ГПНТБ России
Доп.точки доступа: Алексеев, Н.И.; Брызгалов, В.И.; Гомин, Е.А.
Экз-ры: фмз(1)
ГРНТИ: 58.33.05
УДК: 621.039.524.44.001.2-52(04)
Рубрика: Ядерные реакторы водоводяные / Проектирование / Автоматизация

[3234] Али А.Мохаммад.
Верификация проектов аппаратных средств ЭВМ на основе модели взаимодействующих последовательных процессов: автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / Али А.Мохаммад. - СПб, 1994. - 16 с. В надзаг.: С.-Петербург.гос.электротехн.ун-т им.В.И.Ульянова (Ленина). Библиогр.: с.16 (3 назв.)Держатели документа: ГПНТБ России
Экз-ры: (1)
ГРНТИ: 50.33.14
УДК: 004.38'12(043)
Рубрика: Атомная энергия / Научно-исследовательская работа

[3235] Горянкин А. В.
Верификация проектов аппаратных средств ЭВМ на основе параллельных описаний: автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / А. В. Горянкин. - СПб, 1992. - 16 с В надзаг.: С.-Петербург.электротехн.ин-т им.В.И.Ульянова(Ленина). Библиогр.: с. 16(3назв.).Держатели документа: ГПНТБ России
Экз-ры: (3)
Копия: мкфш.
ГРНТИ: 50.33.14
УДК: 004.38'12(043)
Рубрика: Угли ископаемые Кислород

[3236] Козюра В. Е.
Верификация раскрашенных сетей Петри методом проверки моделей: препринт / В. Е. Козюра, В. А. Непомнящий, Р. М. Новиков. - Новосибирск, 2001. - 24 с. : ил. - (Препринт / Институт систем информатики(Новосибирск) ; 89). - 50 экз. - Б. ц.Держатели документа: ГПНТБ России
Доп.точки доступа: Непомнящий, В.А.; Новиков, Р.М.
Экз-ры: хр(1)
ГРНТИ: 50.07.03
УДК: 519.179.2(04)
Рубрика: Петри сети / Верификация

[3237] Царьков Д. В.
Верификация распределенных программ методом проверки на модели: автореферат диссертации на соискание ученой степени канд. физ.-мат. наук :05.13.11 / Д. В. Царьков. - М., 2002. - 21 с. В надзаг.: МГУ им. М.В.Ломоносова, Фак. вычислит. мат. и кибернетики. Библиогр.: с. 20-21(12 назв.)Держатели документа: ГПНТБ России
Экз-ры: (1)
ГРНТИ: 50.05.13
УДК: 004.415.5(043)
Рубрика: Программирование для ЭВМ

[3238] Гаранина Н. О.
Верификация распределенных систем с использованием аффинного представления данных, логик знаний и действий: автореферат диссертации на соискание ученой степени кнд. физ.-мат. наук :05.13.11 / Н. О. Гаранина. - новосибирск, 2004. - 18 с. - Библиогр.: с. 17-18(7 назв.) В надзаг.: Рос. АН, Сиб. отд-ние, Ин-т систем информатики им.А.П.ЕршоваДержатели документа: ГПНТБ России
Экз-ры: ХР(1)
ГРНТИ: 50.05.13
УДК: 004.415.5(043)
Рубрика: Радиосигналы

[3239] Тутнов Ан. А.
Верификация расчетного кода "PULSAR-2": препринт / Ан.А.Тутнов,Е.Е.Алексеев,Т.В.Андрианова,К.П.Дубровин. - М., 1998. - 30 с. : ил. - (Препринт / "Курчатовский ин-т",российский науч.центр(Москва) ; ИАЭ-6085/4). - 74 экз. - Б. ц.Держатели документа: ГПНТБ России
Доп.точки доступа: Тутнов, Ан.А.; Алексеев, Е.Е.; Андрианова, Т.В.; Дубровин, К.П.
Экз-ры: хр(1)
ГРНТИ: 58.09.43
УДК: 621.039.548(04)
Рубрика: Топливные элементы ядерных реакторов / Расчеты на вычислительных машинах

[3240] Егоренков П. М.
Верификация расчетных моделей кода REMOL для анализа аварийных режимов в бассейновых реакторах: препринт / П. М. Егоренков, П. В. Маланкин, А. В. Талиев. - М., 1994. - 24 c. : ил. - (Препринт / "Курчатовский ин-т",российский науч.центр(Москва) ; ИАЭ-5711/5). - Б. ц.Держатели документа: ГПНТБ России
Доп.точки доступа: Маланкин, П.В.; Талиев, А.В.
Экз-ры: хр(1)
ГРНТИ: 58.33.37
УДК: 621.039.586.001.57(04)
Рубрика: Ядерные реакторы экспериментальные / Аварии / Моделирование

Страницы: 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 [162] 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200