№ | Дата |
Автор |
Заглавие |
---|
|
2008 |
Дубцов, Роман Сергеевич |
Теоретико-категорное исследование семантики областей Скотта параллельных моделей с реальным временем : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.11 / Дубцов Роман Сергеевич ; [Институт систем информатики им. А. П. Ершова Сибирского отделения Российской академии наук] |
|
2002 |
Царьков, Дмитрий Викторович |
Верификация распределенных программ методом проверки на модели : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 05.13.11 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей / Царьков Дмитрий Викторович ; Московский государственный университет им. М. В. Ломоносова, Факультет вычислительной математики и кибернетики |
|
2004 |
Саранцев, Павел Вадимович |
Верификация программного обеспечения информационно-диагностического оборудования системы управления и защиты атомных энергетических реакторов : автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.01 ; 05.13.11 / Саранцев Павел Вадимович ; [Всероссийский научно-исследовательский институт электромеханики с заводом им. А.Г.Иосифьяна] |
|
2008 |
Зыков, Анатолий Геннадьевич |
Методы верификации аппаратно-программных компонентов вычислительных систем : автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.12 / Зыков Анатолий Геннадьевич ; [Санкт-Петербургский государственный университет информационных технологий, механики и оптики] |
|
2004 |
Ушакова, Наталья Николаевна |
Коррекция цифровых космических изображений на основе верифицирующего моделирования : автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.01 / Ушакова Наталья Николаевна ; Белгородский государственный технологический университет им. В.Г.Шухова |
|
1999 |
Калугин, Михаил Александрович |
Новые алгоритмы метода Монте-Карло для решения нейтронно-физических задач и верификации инженерных программ расчета реакторов : Автореф. дис. на соиск. учен. степ. канд. техн. наук : 05.14.03 / Рос. науч. центр "Курчатовский институт" |
|
2004 |
Григорьев, Евгений Васильевич |
Распознавание частотных спектров при проектировании ленточных устройств хранения данных : автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.18 ; 05.12.13 / Григорьев Евгений Васильевич ; [Ижевский государственный технический университет] |
|
2005 |
Ван, Лэй |
Исследование целесообразности применения и газодинамической эффективности ТНД с "обратным" вращением ротора : автореферат диссертации на соискание ученой степени кандидата технических наук : 05.07.05 / Ван Лэй ; Министерство образования и науки Российской Федерации, Московский авиационный институт (Государственный технический университет) |
|
2007 |
Соколов, Владимир Владимирович (доктор физико-математических наук) |
Совместное использование MSC и SDL моделей при разработке событийно-ориентированных систем : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.11 / Соколов Владимир Владимирович ; Санкт-Петербургский государственный университет |
|
2008 |
Назаренко, Андрей Владиславович |
Эффективность составных проницаемых оболочек в сопловых лопатках газовых турбин с проникающим охлаждением : автореферат диссертации на соискание ученой степени кандидата технических наук : 05.04.12 / Назаренко Андрей Владиславович ; [ГОУ ВПО "Санкт-Петербургский государственный политехнический университет"] |
|
1989 |
Медведев, Виталий Федосович (доктор экономических наук ; 1928—2020) |
Верификация прогнозов : Обзор / В.Ф.Медведев, Т.О.Ляднова |
|
2002 |
Бентли, Джон |
Жемчужины программирования : Пер. с англ. / Джон Бентли |
|
2002 |
Липаев, Владимир Васильевич (доктор технических наук) |
Концепция управления качеством жизненного цикла программных средств на основе международных стандартов / В.В.Липаев |
|
2004 |
Ракуш, Валентин Владимирович (кандидат технических наук, вычислительная техника ; род. 1973) |
Методы и алгоритмы стохастической обработки речи в системах текстонезависимой верификации диктора : автореф. дис.... канд. техн. наук : 05.13.15 / Ракуш Валентин Владимирович ; Бел. гос. ун-т информатики и радиоэлектроники |
|
2009 |
Янь Цзинбинь (род. 1972) |
Поиск ключевых слов в слитной речи для современных систем обработки аудиосигналов : автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.01 / Янь Цзинбинь ; Белорусский государственный университет |
|
2008 |
Бурдонов, Игорь Борисович (род. 1948) |
Теория соответствия для систем с блокировками и разрушениями / И. Б. Бурдонов, А. С. Косачев, В. В. Кулямин |
|
2009 |
Янь Цзинбинь (род. 1972) |
Поиск ключевых слов в слитной речи для современных систем обработки аудиосигналов : диссертация на соискание ученой степени кандидата технических наук : 05.13.01 : защищена 04.02.10 : утверждена 31.03.10 / Янь Цзинбинь ; научный руководитель Хейдоров И. Э. ; Белорусский государственный университет |
|
2010 |
Зыль, Сергей Николаевич |
Проектирование, разработка и анализ программного обеспечения систем реального времени / Сергей Зыль |
|
2010 |
Поздняев, Андрей Сергеевич |
Методология формирования и верификации налогооблагаемых показателей : автореферат диссертации на соискание ученой степени доктора экономических наук : 08.00.10 / Поздняев Андрей Сергеевич ; [Государственное образовательное учреждение высшего профессионального образования "Орловский государственный технический университет"] |
|
2010 |
Новиков, Дмитрий Яковлевич (кандидат технических наук ; род. 1983) |
Верификация логических описаний комбинационных устройств при наличии функциональной неопределенности : диссертация на соискание ученой степени кандидата технических наук : 05.13.12 : защищена 15.03.11 : утверждена 11.05.11 / Новиков Дмитрий Яковлевич ; научный руководитель Черемисинова Л. Д. ; Государственное научное учреждение Объединенный институт проблем информатики Национальной академии наук Беларуси |
|
2011 |
Ситу Лин |
Разработка методов и геометрических моделей анализа незаполненных пространств в задачах размещения : автореферат диссертации на соискание ученой степени кандидата технических наук : 05.01.01 Инженерная геометрия и компьютерная / Ситу Лин ; [Московский авиационный институт (национальный исследовательский университет)] |
|
2012 |
Туманов, Юрий Михайлович |
Защита сред облачных вычислений путем верификации программного обеспечения на наличие деструктивных свойств : автореферат диссертации на соискание ученой степени кандидата технических наук : специальность 05.13.19 Методы и системы защиты информации, информационная безопасность / Туманов Юрий Михайлович ; [Национальный исследовательский ядерный университет "МИФИ"] |
|
2012 |
Челышков, Павел Дмитриевич (кандидат технических наук) |
Сценарная верификация энергетического баланса в системах автоматизации проектирования зданий и комплексов : автореферат диссертации на соискание ученой степени кандидата технических наук : специальность 05.13.12 Системы автоматизации проектирования (строительство) / Челышков Павел Дмитриевич ; [Московский государственный строительный университет] |
|
2012 |
Мягмар Мишигдорж |
Методические подходы к верификации учетной информации в системе бухгалтерского учета на примере Монголии : автореферат диссертации на соискание ученой степени кандидата экономических наук : специальность 08.00.12 Бухгалтерский учет, статистика / Мягмар Мишигдорж ; [Московский государственный университет экономики, статистики и информатики (МЭСИ)] |
|
2012 |
Синицын, Сергей Владимирович (кандидат технических наук) |
Верификация программного обеспечения : учебное пособие / С. В. Синицын, Н. Ю. Налютин |
|
2013 |
Вигура, Антон Николаевич |
Модели и методы тестирования программных систем на основе алгебраического подхода : автореферат диссертации на соискание ученой степени кандидата технических наук : специальность 05.13.01 Системный анализ, управление и обработка информации / Вигура Антон Николаевич ; [Нижегородский государственный технический университет им. Р. Е. Алексеева] |
|
2014 |
Галлямов, Шамиль Рашитович |
Моделирование параметров и характеристик электрогидравлической скважинной аппаратуры : [монография] / Ш. Р. Галлямов, А. В. Месропян, М. О. Митягина |
|
2016 |
Шаповал, Виктор Васильевич (кандидат филологических наук ; род. 1958) |
Теория и практика верификации словарных данных на основе источников : автореферат диссертации на соискание ученой степени доктора филологических наук : специальности 10.02.01 Русский язык, 10.02.19 Теория языка / Шаповал Виктор Васильевич ; [Институт гуманитарных наук, Московский городской педагогический университет] |
|
2017 |
Самотуга, Александр Евгеньевич (кандидат технических наук) |
Распознавание субъектов и их психофизиологических состояний на основе параметров подписи для защиты документооборота : автореферат диссертации на соискание ученой степени кандидата технических наук : специальность 05.13.19 Методы и системы защиты информации, информационная безопасность / Самотуга Александр Евгеньевич ; [Омский государственный технический университет] |
|
2018 |
Суворов, Алексей Александрович |
Всережимная верификация средств моделирования электроэнергетических систем : автореферат диссертации на соискание ученой степени кандидата технических наук : специальность 05.14.02 Электрические станции и электроэнергетические системы / Суворов Алексей Александрович ; [Национальный исследовательский Томский политехнический университет] |
|
2019 |
Туровский, Ярослав Александрович (кандидат медицинских наук) |
Системы интерфейсов человек-компьютер на основе анализа спектральных особенностей биомедицинских сигналов и гибридного интеллекта : автореферат диссертации на соискание ученой степени доктора технических наук : специальность 05.13.01 Системный анализ, управление и обработка информации / Туровский Ярослав Александрович ; [Воронежский государственный университет] |
|
2019 |
Мякишева, Ольга Александровна |
Динамические задачи акустического зондирования слоистых упругих материалов : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 01.02.04 Механика деформируемого твердого тела / Мякишева Ольга Александровна ; [Кубанский государственный университет] |
|
2019 |
Поличка, Анатолий Егорович |
Основы моделирования в условиях компьютеризации и математизации : учебное пособие / А. Е. Поличка ; Министерство науки и высшего образования Российской Федерации, Федеральное государственное бюджетное образовательное учреждение высшего образования "Тихоокеанский государственный университет" |
|
2020 |
Лаврищева, Екатерина Михайловна (доктор физико-математических наук ; род. 1937) |
Программная инженерия и технологии программирования сложных систем : учебник для вузов : учебное пособие для студентов вузов, обучающихся по направлению подготовки "Прикладные математика и физика", а также по другим математическим и естественнонаучным направлениям / Е. М. Лаврищева ; Институт системного программирования РАН, Московский физико-технический институт ( государственный университет) |
|
2021 |
Шевченко, Сергей Александрович |
Разработка сверхбыстрых ключей на основе карбида кремния : автореферат диссертации на соискание ученой степени кандидата технических наук : специальность 05.27.01 Твердотельная электроника, радиоэлектронные компоненты, микро- и наноэлектроника, приборы на квантовых эффектах / Шевченко Сергей Александрович ; [Санкт-Петербургский государственный электротехнический университет "ЛЭТИ" им. В. И. Ульянова (Ленина)] |
|
2022 |
Гремячкин, Дмитрий Евгеньевич |
Методы измерения характеристик запаздывающих нейтронов и верификации ядерно-физических данных : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 01.04.01 Приборы и методы экспериментальной физики / Гремячкин Дмитрий Евгеньевич ; Объединенный институт ядерной физики, Лаборатория нейтронной физики им. И. М. Франка |
|
2002 |
Звенигородская, Оксана Анатольевна |
Математическая методика и программа KORAT-3D решения трехмерных задач диффузии нейтронов в групповом приближении на многопроцессорных ЭВМ : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 05.13.18 Математическое моделирование, численные методы и комплексы программ / Звенигородская Оксана Анатольевна ; Российский федеральный ядерный центр ВНИИЭФ |
|
1995 |
Матюнина, Ольга Евгеньевна |
Логические методы и инструментальные средства верификации офисных процедур : Автореф. дис. на соиск. учен. степ. канд. техн. наук : 05.13.12 / Моск. гос. горн. ун-т |
|
2004 |
Гаранина, Наталья Олеговна |
Верификация распределенных систем с использованием аффинного представления данных логик знаний и действий : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.11 / Гаранина Наталья Олеговна ; Российская академия наук, Сибирское отделение, Институт систем информатики им. А.П.Ершова |
|
2007 |
Метельская, Татьяна Анатольевна |
Верификация тестовых заданий для контроля уровня знаний студентов в вузе : автореферат диссертации на соискание ученой степени кандидата педагогических наук : 13.00.08 / Метельская Татьяна Анатольевна ; [Московский социально-гуманитарный институт] |
|
2003 |
|
Информационные технологии. Автоматическая идентификация и технология сбора данных. Технические условия соответствия верификатора штрихового кода = Інфармацыйныя тэхналогіі. Аўтаматычная ідэнтыфікацыя і тэхналогія збору даных. Тэхнічныя ўмовы адпаведнасці верыфікатара штрыхавога кода : СТБ ИС/МЭК 15426-1-2003. — Ч. 1: Линейные символы = Лінейныя сімвалы : ISO/IEC 15426-1:2000, IDT |
|
1992 |
Дубинин, Виктор Николаевич (кандидат технических наук) |
Спецификация и верификация процессов обмена информацией в вычислительных системах и сетях : Учеб.пособие / Пенз.политехн.ин-т |
|
1997 |
Герасенко, Владимир Петрович (доктор экономических наук ; род. 1954) |
Прогностические методы управления рыночной экономикой : Учеб.пособие для вузов:В 2 ч. Ч.1 |
|
2005 |
Николаева, Ирина Юрьевна |
Проблема методологического синтеза и верификации в истории в свете современных концепций бессознательного : [монография] / И.Ю. Николаева ; под ред. Б.Г. Могильницкого ; М-во образования и науки Рос. Федерации [и др.] |
|
2005 |
|
Validation in chemical measurement / editors: Paul De Bievre, Helmut Gunzler |
|
2010 |
Карпов, Юрий Глебович (доктор технических наук) |
MODEL CHECKING. Верификация параллельных и распределенных программных систем / Ю. Г. Карпов |
|
2009 |
Скиба, Владимир Юрьевич |
Объектно-функциональная верификация информационной безопасности распределенных автоматизированных информационных систем таможенных органов : автореферат диссертации на соискание ученой степени доктора технических наук : 05.13.19 / Скиба Владимир Юрьевич ; [Государственное образовательное учреждение высшего профессионального образования "Санкт-Петербургский государственный политехнический университет"] |
|
2011 |
Оленев, Валентин Леонидович |
Проектирование программных моделей сетевых протоколов для встроенных систем : автореферат диссертации на соискание ученой степени кандидата технических наук : специальность 05.13.11 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей / Оленев Валентин Леонидович ; [Санкт-Петербургский государственный университет аэрокосмического приборостроения] |
|
2011 |
Клейменов, Геннадий Борисович |
Динамические модели ракетно-космических конструкций : [монография] / Г. Б. Клейменов |
|
2012 |
Мутилин, Вадим Сергеевич |
Верификация драйверов операционной системы Linux при помощи предикатных абстракций : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 05.13.11 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей / Мутилин Вадим Сергеевич ; Федеральное государственное бюджетное учреждение науки Институт системного программирования Российской академии наук |