№ | Дата |
Автор |
Заглавие |
---|
|
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 / Новиков Дмитрий Яковлевич ; научный руководитель Черемисинова Л. Д. ; Государственное научное учреждение Объединенный институт проблем информатики Национальной академии наук Беларуси |