Поисковый запрос: (<.>K=верификация<.>) |
Общее количество найденных документов : 19
Показаны документы с 1 по 19 |
>1.
| Физическая верификация СБИС : новый век - новые проблемы // СHIP NEWS, 1999,N N9..-С.36-37.
|
>2.
| Тестирование, верификация и валидация программ // Программирование, 2008,N N 6
|
>3.
| Киселев В.В. Схема функционирования системы верификации грамматики языков/В. В. Киселев // Информационные технологии в профессиональной деятельности и научной работе. -Йошкар-Ола:МарГТУ, 2012,N Ч. 2.-С.107-111
|
>4.
| Пеганова Е.В. Роль новых уточняющих методик в эндоскопической диагностике предопухолевой и опухолевой патологии пищевода/Е. В. Пеганова, Н. Н. Митракова, В. Л. Рыжков // Инновационные ресурсы и национальная безопасность в эпоху глобальных трансформаций. Пятнадцатые Вавиловские чтения. -Йошкар-Ола:МарГТУ, 2012,N Ч. 2.-С.278-279
|
>5.
| Прогнозирование живучести энергетического оборудования стареющих электрических станций/В. К. Семенов [и др.] // Теплоэнергетика, 2010,N N8.-С.35-38
|
>6.
| Неринг М.А. Первичная верификация и адаптация модели WEPP для условий Украины : проблемы, пути решения, перспективы/М. А. Неринг, С. Ю. Булыгин, М. М. Котова // Почвоведение, 1998,N N1..-С.96-99.-Библиогр.:16 назв.
|
>7.
| Оценка хлоридного разрушения морских гидротехнических сооружений города Холмска/С. Н. Леонович [и др.] // Вестник Поволжского государственного технологического университета. Сер.: Материалы. Конструкции. Технологии, 2018,N № 2.-С.7-15
|
>8.
| Поддубный С.А. О методе выделения областей влияния ветрового волнения и течений в прибрежной зоне водохранилищ/С. А. Поддубный, М. Б. Бычкова // Водные ресурсы, 1998,N Т.2.-С.6.-С.730-737.-Библиогр.:9 назв.
|
>9.
| Глазунов Г.П. Модель крупномасштабного явления ветровой эрозии почв и ее верификация/Г.П.Глазунов,В.М.Гендугов // Почвоведение, 2003,N N2..-С.288-239.-Библиогр.:31 назв.
|
>10.
| Килеев В. В. Лингвистические компоненты языка в системе верификации орфографии и грамматики, не использующей лингвистические корпуса/В. В. Килеев // Информационные технологии в профессиональной деятельности и научной работе. -Йошкар-Ола:ПГТУ, 2013,N Ч. 2.-С.125-130
|
>11.
| Арефьев И. Б. Комплексная верификация результатов прогнозирования характеристик транспортной системы/И. Б. Арефьев, А. А. Сулима // Программные продукты и системы, 2009,N № 3.-С.94-97
|
>12.
| Рахуба А. В. Имитационное моделирование роста биомассы фитопланктона в Куйбышевском водохранилище/А. В. Рахуба // Водное хозяйство России: проблемы, технологии, управление, № 1
|
>13.
| Шалый Е. Е. Долговечность морских сооружений при комбинированной коррозии железобетона/Е. Е. Шалый, С. Н. Леонович, Л. В. Ким // Вестник Поволжского государственного технологического университета. Сер.: Материалы. Конструкции. Технологии, 2018,N № 1.-С.65-72
|
>14.
| Бельгибаев Р. Р. Влияние радио блэкаута на частотную емкость линии декаметровой связи/Р. Р. Бельгибаев // Вестник Поволжского государственного технологического университета. Сер.: Радиотехнические и инфокоммуникационные системы, 2014,N № 4 (23).-С.23-34
|
>15.
| Верификация цифровых систем на базе программируемых логических интегральных схем, выполняющих функции безопасности в критических приложениях[Текст] // Успехи современной радиоэлектроники, 2005,N N10.-С..59-76.-Библиогр.: 30назв.
|
>16.
| Полубелова О.В. Верификация правил фильтрации политики безопасности методом проверки н модели/О.В. Полубелова, И.В. Котенко // Известия вузов. Приборостроение, 2008,N Т.5.-С.12.-С.44-49.-Библиогр.:13 назв.
|
>17.
| Сидельникова Е.В. Верификация политик фильтрации с помощью исчисления событий и абдуктивного выхода/Е.В.Сидельникова,А.В.Тишков,И.В.Котенко // Известия вузов. Приборостроение, 2008,N Т.5.-С.11.-С.31-35.-Библиогр.:7 назв.
|
>18.
| Ветошкин В.А. Верификация компьютерных программ расчета прочности трубопроводных систем/В.А.Ветошкин,А.Б.Попов // Теплоэнергетика, 2002,N N4..-С.7-14
|
>19.
| Верификация балловых оценок местообитания по некоторым параметрам среды/Л. Б. Заугольнова и [др.] // Лесоведение, 1998,N N5..-С.48-58.-Библиогр.:29 назв.
|
|