| № | Дата |
Автор |
Заглавие |
|---|
|
2004 |
Саранцев, Павел Вадимович |
Верификация программного обеспечения информационно-диагностического оборудования системы управления и защиты атомных энергетических реакторов : автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.01 ; 05.13.11 / Саранцев Павел Вадимович ; [Всероссийский научно-исследовательский институт электромеханики с заводом им. А.Г.Иосифьяна] |
|
2004 |
Ушакова, Наталья Николаевна |
Коррекция цифровых космических изображений на основе верифицирующего моделирования : автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.01 / Ушакова Наталья Николаевна ; Белгородский государственный технологический университет им. В.Г.Шухова |
|
1999 |
Калугин, Михаил Александрович |
Новые алгоритмы метода Монте-Карло для решения нейтронно-физических задач и верификации инженерных программ расчета реакторов : Автореф. дис. на соиск. учен. степ. канд. техн. наук : 05.14.03 / Рос. науч. центр "Курчатовский институт" |
|
2004 |
Григорьев, Евгений Васильевич |
Распознавание частотных спектров при проектировании ленточных устройств хранения данных : автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.18 ; 05.12.13 / Григорьев Евгений Васильевич ; [Ижевский государственный технический университет] |
|
2005 |
Ван, Лэй |
Исследование целесообразности применения и газодинамической эффективности ТНД с "обратным" вращением ротора : автореферат диссертации на соискание ученой степени кандидата технических наук : 05.07.05 / Ван Лэй ; Министерство образования и науки Российской Федерации, Московский авиационный институт (Государственный технический университет) |
|
1989 |
Медведев, Виталий Федосович (доктор экономических наук ; 1928—2020) |
Верификация прогнозов : Обзор / В.Ф.Медведев, Т.О.Ляднова |
|
2002 |
Бентли, Джон |
Жемчужины программирования : Пер. с англ. / Джон Бентли |
|
2002 |
Липаев, Владимир Васильевич (доктор технических наук) |
Концепция управления качеством жизненного цикла программных средств на основе международных стандартов / В.В.Липаев |
|
2011 |
Любива, Тетяна Ярославівна |
Моделі лінійних структурних рівнянь як засіб верифікації соціологічних теорій середнього рівня : автореферат дисертації на здобуття наукового ступеня кандидата соціологічних наук : 22.00.02 / Любива Тетяна Ярославна ; Інститут соціології Національної академії наук України |
|
1995 |
Матюнина, Ольга Евгеньевна |
Логические методы и инструментальные средства верификации офисных процедур : Автореф. дис. на соиск. учен. степ. канд. техн. наук : 05.13.12 / Моск. гос. горн. ун-т |
|
2004 |
Гаранина, Наталья Олеговна |
Верификация распределенных систем с использованием аффинного представления данных логик знаний и действий : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.11 / Гаранина Наталья Олеговна ; Российская академия наук, Сибирское отделение, Институт систем информатики им. А.П.Ершова |
|
2003 |
|
Информационные технологии. Автоматическая идентификация и технология сбора данных. Технические условия соответствия верификатора штрихового кода = Інфармацыйныя тэхналогіі. Аўтаматычная ідэнтыфікацыя і тэхналогія збору даных. Тэхнічныя ўмовы адпаведнасці верыфікатара штрыхавога кода : СТБ ИС/МЭК 15426-1-2003. — Ч. 1: Линейные символы = Лінейныя сімвалы : ISO/IEC 15426-1:2000, IDT |
|
1992 |
Дубинин, Виктор Николаевич (кандидат технических наук) |
Спецификация и верификация процессов обмена информацией в вычислительных системах и сетях : Учеб.пособие / Пенз.политехн.ин-т |
|
2006 |
Худов, Ким Андреевич |
Математическое и программное обеспечение средств верификации программ микроконтроллерных устройств : автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.11 / Худов Ким Андреевич ; [Московский государственный университет приборостроения и информатики] |
|
2004 |
Окулевич, Владимир Викентьевич |
Методы построения и верификации моделей системного программного обеспечения информационно-управляющих систем : автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.12 / Окулевич Владимир Викентьевич ; [Санкт-Петербургский государственный университет информационных технологий, механики и оптики] |
|
2004 |
Никитин, Андрей Владимирович |
Разработка и верификация математического обеспечения астроприборов : автореферат диссертации на соискание ученой степени кандидата технических наук : 01.04.01 / Никитин Андрей Владимирович ; [Институт космических исследований Российской академии наук] |
|
2005 |
Ступников, Сергей Александрович |
Моделирование композиционных уточняющих спецификаций : автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.17 / Ступников Сергей Александрович ; [Институт проблем информатики РАН] |
|
2002 |
Калбертсон, Роберт |
Быстрое тестирование : Пер. с англ. / Роберт Калбертсон, Крис Браун, Гэри Кобб |
|
2001 |
Меркель, Светлана Эдуардовна |
Семантико-дистрибутивная верификация терминологического знака : На материале документов нем. гражд.-процессуал. права : Автореф. дис. на соиск. учен. степ. канд. филол. наук : 10.02.04 / Меркель Светлана Эдуардовна ; [Волгогр. гос. ун-т] |
|
1997 |
Демиденко, Сергей Николаевич (кандидат технических наук, программирование) |
Методическое пособие "Защита данных: верификация личности и биометрика" по курсу "Защита информации и санкционирование доступа" для студентов специальности Т.100200 "Программное обеспечение информационных технологий" : На англ. яз. / Под яз. ред. Р.К.Образцовой ; Бел. гос. ун-т информатики и радиоэлектроники, Каф. програм. обеспечения информ. технологий, Каф. иностр. яз |
СВОДНЫЙ ЭЛЕКТРОННЫЙ КАТАЛОГ