Библиотека ТУСУРа

Базы данных

Основная база библиотеки - результаты поиска

Вид поиска

Основная база библиотеки

База данных нормативных документов

Персоналии ученых-профессоров ТУСУРа

Календарь знаменательных дат

Электронные книги ЛитРес

ЭБС «Лань»

ЭБС «Юрайт»

Область поиска

в найденном

Найдено в других БД:

База данных нормативных документов (1)

Формат представления найденных документов:
полный	для рабочих программ

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>K=ВЕРИФИКАЦИЯ<.>)

Общее количество найденных документов : 105
Показаны документы с 1 по 10

1-10 11-20 21-30 31-40 41-50 51-60

А
К 354

    Кенжегулова, Зарина Муратбековна.
    Аналитические модели защитных полосковых устройств на основе метода модального разложения во временной области [Текст] : автореферат диссертации на соискание ученой степени кандидата технических наук. Спец. 2.2.13 - Радиотехника, в том числе системы и устройства телевидения / З. М. Кенжегулова ; науч. рук. Р. С. Суровцев. - Томск, 2023. - 19 с. : рис., схемы, табл. - Библиогр.: с. 18-19

    Коды, Ключ.слова, Доп.точки доступа
УДК
621.37:621.397.74(043.3)
~РУБ А

Кл.слова (ненормированные):
НАУЧНЫЕ ИЗДАНИЯ -- АВТОРЕФЕРАТЫ -- РАДИОТЕХНИКА -- ТЕЛЕВИДЕНИЕ -- РАДИОЭЛЕКТРОНИКА -- МАТЕМАТИЧЕСКОЕ МОДЕЛИРОВАНИЕ -- КОНЕЧНЫЕ РАЗНОСТИ -- СВЕРХКОРОТКИЕ ИМПУЛЬСЫ -- ВЕРИФИКАЦИЯ -- ИМПУЛЬСЫ
Доп.точки доступа:
Суровцев, Роман Сергеевич \науч. рук.\

Имеются экземпляры в отделах: счз1 (1 экз.), сбо (1 экз.)
Свободны: счз1 (1), сбо (1)
Постоянная гиперссылка

621.37
К 354

    Кенжегулова, Зарина Муратбековна.
    Аналитические модели защитных полосковых устройств на основе метода модального разложения во временной области [Текст] : диссертация на соискание ученой степени кандидата технических наук. Спец. 2.2.13 - Радиотехника, в том числе системы и устройства телевидения / З. М. Кенжегулова ; науч. рук. Р. С. Суровцев. - Томск, 2023. - 166 с. : рис., схемы, табл. - Библиогр.: с. 140-158

    Коды, Ключ.слова, Доп.точки доступа
УДК
621.37:621.397.74(043.3)
~РУБ 621.37

Кл.слова (ненормированные):
НАУЧНЫЕ ИЗДАНИЯ -- ДИССЕРТАЦИИ -- РАДИОТЕХНИКА -- ТЕЛЕВИДЕНИЕ -- РАДИОЭЛЕКТРОНИКА -- МАТЕМАТИЧЕСКОЕ МОДЕЛИРОВАНИЕ -- КОНЕЧНЫЕ РАЗНОСТИ -- СВЕРХКОРОТКИЕ ИМПУЛЬСЫ -- ВЕРИФИКАЦИЯ -- ИМПУЛЬСЫ
Доп.точки доступа:
Суровцев, Роман Сергеевич \науч. рук.\

Имеются экземпляры в отделах: сбо (1 экз.)
Свободны: сбо (1)
Постоянная гиперссылка

А
Т 853

    Тупоносова, Елена Павловна.
    Управление кадровым обеспечением регионального производственного комплекса "ВУЗ - нефтяной кластер" [Текст] : автореферат ...кандидата технических наук: 2.3.3 / Е. П. Тупоносова ; науч. рук. М. Ю. Лившиц ; Самарский государственный технический университет (Самара), кафедра управление и системный анализ теплоэнергетических и социотехнических комплексов. - Самара, 2023. - 24 с. : рис.

    Коды, Ключ.слова, Доп.точки доступа
УДК
332.1:378.095(043.3)
~РУБ А

Кл.слова (ненормированные):
НАУЧНЫЕ ИЗДАНИЯ -- АВТОРЕФЕРАТЫ -- ПРОИЗВОДСТВЕННЫЕ ПОКАЗАТЕЛИ -- ПОДГОТОВКА КАДРОВ -- ВЕРИФИКАЦИЯ -- ДИНАМИЧЕСКОЕ УПРАВЛЕНИЕ -- СИСТЕМНЫЕ СВЯЗИ -- АЛГОРИТМИЧЕСКОЕ ОБЕСПЕЧЕНИЕ
Доп.точки доступа:
Лившиц, Михаил Юрьевич \науч. рук.\
Самарский государственный технический университет (Самара). кафедра управление и системный анализ теплоэнергетических и социотехнических комплексов

Имеются экземпляры в отделах: сбо (1 экз.)
Свободны: сбо (1)
Постоянная гиперссылка

Шифр: Ч932169/2022/6
Журнал

Чудеса и приключения : журнал приключений, путешествий, научных гипотез и фантастики/ ФИДЖЕТ ЮНЕСКО (М.), ассоциация "Туризм и пресса". - М. : ИД "Журналист", 1991 - . - ISSN 0868-8931. - Выходит ежемесячно
2022г. N 6 . - 532.17, р.

Содержание:
Вяткин, Аркадий. Когда боги горшки обжигают / А. Вяткин. - С.6-9 : ил.
Кл.слова: язычество, терафимы, культы
Новиков, Сергей. Дюймовочка в пустыне / С. Новиков. - С.10-13 : ил.
Кл.слова: уфология, инопланетяне, мумии
Волгина, Марина. У семи чертей" на Мальтийской площади / М. Волгина. - С.14-16 : ил.
Кл.слова: Прага, музеи, Бисс, Йоганн Рудольф
Жаровский, Михаил. Мамона из кирпича и бетона / М. Жаровский. - С.22-25 : ил.
Кл.слова: города, мегаполисы, урбанизация
Борисов, Сергей. С лица не воду пить / С. Борисов. - С.28-30 : ил.
Кл.слова: биометрия, идентификация, верификация
Тутаева, Марина. Что скрывает малышка? / М. Тутаева. - С.32-35 : ил.
Кл.слова: Вселенная, планеты, Церера
Овсянников, Виктор. Кудесник мяча / В. Овсянников. - С.36-37 : ил.
Кл.слова: КНИГА РЕКОРДОВ ГИННЕССА, Куценко, Николай, жонглирование
Антоновская, Юлия. Обитель совершенного колеса / Ю. Антоновская. - С.38-39 : ил.
Кл.слова: буддизм, Бурятия, Иволгинский дацан
Сиволап, Валерий. Десять легендарных братьев / В. Сиволап. - С.44-47, : ил.
Кл.слова: ВЕЛИКАЯ ОТЕЧЕСТВЕННАЯ ВОЙНА, воспоминания, Сиволап, Александр Иванович
Ситникова, Марина. Стихи крепки, и перья наши быстры / М. Ситникова. - С.48-51 : ил.
Кл.слова: ВЕЛИКАЯ ОТЕЧЕСТВЕННАЯ ВОЙНА, Окна ТАСС, плакаты
Дегтярёв, Евгений. На конной тяге до Берлина / Е. Дегтярёв. - С.52-55 : ил.
Кл.слова: армия, кавалерия, лошади
Лианозов, Марк. Сокровища великой эпохи / М. Лианозов. - С.60-63 : ил.
Кл.слова: Москва, выставки, Петр 1
Нефедов, Александр. Пробный камень / А. Нефедов. - С.54-67 : ил.
Кл.слова: Липецкая область, города, Чаплыгин
Зелов, Дмитрий. Салют, Россия! / Д. Зелов. - С.68-71 : ил.
Кл.слова: фейерверки, пиротехника, иллюминация
Афанасьева, Дарья. "Зингер" в бронзе / Д. Афанасьева. - С.72-73 : ил.
Кл.слова: Подольск, памятники, швейные машинки
Упорин, Виктор. Выцари в пустыне смерти / В. Упорин. - С.74-77 : ил.
Кл.слова: учёные, Габричевский, Георгий Норбертович, Заболотный, Даниил Кириллович
Вовк, Марьяна. След ведёт в Китай / М. Вовк. - С.80-83 : ил.
Кл.слова: цветы, пионы
Кухливский, Юрий. Остров плавающих хрюшек / Ю. Кухливский. - С.84-85 : ил.
Кл.слова: Биг-Мейджор-Кей, острова, Пиг-Бич
Сотникова, Марина. Где растёт рудный цветок? / М. Сотникова. - С.86-89 : ил.
Кл.слова: камни, флюорит, самоцветы
Тимофеев, Алексенй Васильевич. Невидимка : рассказ / А. В. Тимофеев. - С.90-93 : ил.
Кл.слова: русская литература, 19 век, мистика
Александрина, Марина. Всё, кроме чёрного / М. Александрина. - С.94-97 : ил.
Кл.слова: английская живопись, художники, Уолл, Жозефина
Имеются экземпляры в отделах: всего 1 : ахл (1)
Свободны: ахл (1)

Постоянная гиперссылка

А
В 124

    Вагин, Денис Владимирович.
    Методы и реализующее их программное обеспечение для решения трёхмерных прямых и обратных задач геоэлектромагнетизма, термоупругости и многофазной фильтрации [Текст] : автореферат диссертации на соискание ученой степени доктора технических наук. Спец. 05.13.18 - Математическое моделирование, численные методы и комплексы программ / Д. В. Вагин ; науч. конс. М. Г. Персова. - Новосибирск, 2022. - 39 с. : рис., схемы. - Библиогр.: с. 35-39

    Коды, Ключ.слова, Доп.точки доступа
УДК
550.38:531/534(043.3)
004.67:519.711.3(043.3)
~РУБ А

Кл.слова (ненормированные):
НАУЧНЫЕ ИЗДАНИЯ -- АВТОРЕФЕРАТЫ -- НАУКОЕМКИЕ ТЕХНОЛОГИИ -- МАТЕМАТИЧЕСКОЕ МОДЕЛИРОВАНИЕ -- ИЗМЕРИТЕЛЬНАЯ АППАРАТУРА -- МАТЕМАТИЧЕСКАЯ ФИЗИКА -- 3D - МОДЕЛИРОВАНИЕ -- ЛИНЕАРИЗАЦИЯ -- ВЫЧИСЛИТЕЛЬНЫЕ СИСТЕМЫ -- ВЕРИФИКАЦИЯ
Доп.точки доступа:
Персова, Марина Геннадьевна \науч. конс.\

Имеются экземпляры в отделах: сбо (1 экз.)
Свободны: сбо (1)
Постоянная гиперссылка

Шифр: П004589/2022/13/4
Журнал

Программная инженерия [Текст] : теоретический и прикладной научно-технический журнал/ Российская Академия Наук (М.), Отделение математических наук, Российская академия наук (М.), Отделение нанотехнологий и информационных технологий, Московский государственный университет (М.), Московский государственный технологический университет (М.), (М.). - М. : Новые технологии, сентябрь 2010 - . - ISSN 2220-3397. - Периодичность неизвестна
2022г. т.13 N 4 . - 4815.12, р.

Содержание:
Шелехов, В. И. Автоматное программирование на базе системы моделирования и верификации Event-B / В. И. Шелехов. - С.155-167
Кл.слова: уточнение, требования, трансформации программ
Годунов, А. Н. Конфигурируемая тестовая система для ОСРВ семейства Багет / А. Н. Годунов, И. И. Хоменков, В. Г. Щепков. - С.168-177
Кл.слова: тестирование, автоматизация программирования, языки программирования
Евгенев, Г. Б. Российская технология индустрии 5.0 Метаонтология / Г. Б. Евгенев. - С.178-186
Кл.слова: производства цифровые, системы интегрированные, системы интеллектуальные
Гайдамака, К. И. Применение методов машинного обучения без учителя для обеспечения непротиворечивости знаний / К. И. Гайдамака, А. Д. Белоногова. - С.187-199
Кл.слова: кластеризация, управление требованиями, инженерия требований
Федотов, И. А. Автоматическая верификация многосторонних соглашений и планирование отправки сообщений в системах распределенного реестра / И. А. Федотов, А. С. Хританков, М. Д. Обидаре. - С.200-208
Кл.слова: консенсус, блокчейн, проверка моделей статистическая
Имеются экземпляры в отделах: всего 1 : сбо (1)
Свободны: сбо (1)

Постоянная гиперссылка

004
П 166

    Пантелеев, Евгений Рафаилович.
    Методы научных исследований в программной инженерии [Электронный ресурс] : учебное пособие для вузов / Е. Р. Пантелеев ; рец. Н. А. Коробов. - 2-е изд., стер. - Электрон. текстовые дан. - СПб. : Лань, 2021. - on-line : рис., табл. - (Высшее образование). - Библиогр.: с. 131-134. - ISBN 978-5-8114-6781-5 : Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
УДК
004.4:303.732(075.8)
~РУБ 004

Кл.слова (ненормированные):
УЧЕБНЫЕ ПОСОБИЯ -- СИСТЕМНЫЙ АНАЛИЗ -- МЕТОДОЛОГИЯ -- МОДЕЛИ -- АНАЛИЗ ДАННЫХ -- БАЗЫ ДАННЫХ -- ЭКСПЕРТНЫЕ СИСТЕМЫ -- ЭКСПЕРИМЕНТЫ -- ВЕРИФИКАЦИЯ -- МОДЕЛИРОВАНИЕ

Доп.точки доступа:
Коробов, Н. А. \рец.\

Перейти к внешнему ресурсу https://reader.lanbook.com/book/152439#1
Постоянная гиперссылка

004
И 741

    Информатика [Электронный ресурс] : учебник для вузов: в 2-х томах / В. В. Трофимов [и др.] ; отв. ред. В. В. Трофимов ; рец. Е. В. Стельмашонок ; Санкт-Петербургский государственный экономический университет. - 3-е изд., перераб. и доп. - Электрон. текстовые дан. - М. : Юрайт, 2020 - 2021. - (Высшее образование). - ISBN 978-5-534-02614-6.
   Т. 2. - 2021. - on-line : рис., табл., схемы. - ). - Библиогр. в конце разд. - ISBN 978-5-534-02615-3 : Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
УДК
004(075.8)
~РУБ 004

Кл.слова (ненормированные):
УЧЕБНИКИ -- МОДЕЛИРОВАНИЕ -- КЛАССИФИКАЦИЯ -- ВЕРИФИКАЦИЯ -- АЛГОРИТМИЗАЦИЯ -- ВИДЕОМАТЕРИАЛЫ -- ПРОГРАММИРОВАНИЕ -- ПАРАДИГМЫ -- КОМПЬЮТЕРНЫЕ СЕТИ -- БЕЗОПАСНОСТЬ -- СЕТЕВОЙ СЕРВИС

Доп.точки доступа:
Трофимов, Валерий Владимирович
Ильина, О. П.
Саитов, А. В.
Пушкина, Н. В.
Минаков, В. Ф.
Трофимов, Валерий Владимирович \отв. ред.\
Стельмашонок, Е. В. \рец.\
Санкт-Петербургский государственный экономический университет

Перейти к внешнему ресурсу https://urait.ru/viewer/informatika-v-2-t-tom-2-470745#page/1
Постоянная гиперссылка

658.5
Я 657

    Янушевская, Марина Николаевна.
    Аудит качества [Текст] : учебное пособие / М. Н. Янушевская ; Министерство науки и высшего образования Российской Федерации, Томский государственный университет систем управления и радиоэлектроники. - Томск : Издательство ТУСУРа, 2021. - 120 с. : рис., табл. - Библиогр.: с. 111. - ISBN 978-5-86889-927-0 : 135.00 р.

    Коды, Ключ.слова, Доп.точки доступа
УДК
658.562:005(075.8)
~РУБ 658.5

Кл.слова (ненормированные):
УЧЕБНЫЕ ПОСОБИЯ -- МЕНЕДЖМЕНТ -- ПРОФЕССИОНАЛЬНОЕ ОБЩЕНИЕ -- АНАЛИЗ ДОКУМЕНТОВ -- ВЕРИФИКАЦИЯ -- СЕРТИФИКАЦИЯ
Доп.точки доступа:
Лариошина, Ирина Анатольевна
Филонов, Н. Г. \рец.\
Сырямкин, В. И. \рец.\
Министерство науки и высшего образования Российской Федерации
Томский государственный университет систем управления и радиоэлектроники

Имеются экземпляры в отделах: , счз1 (1 экз.), аунл (2 экз.)
Свободны: счз1 (1), аунл (2)
Постоянная гиперссылка

10.

004
М 915

    Мурсаев, Александр Хафизович.
    Практикум по проектированию на языках VerilogHDL и SystemVerilog [Электронный ресурс] : учебное пособие для вузов / А. Х. Мурсаев, О. В. Буренева ; рец.: А. Е. Платунов, А. С. Филиппов. - 3-е изд., стер. - Электрон. текстовые дан. - СПб. : Лань, 2021. - on-line : рис., табл. - (Высшее образование). - Библиогр.: с. 114-115. - ISBN 978-5-8114-7341-0 : Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
УДК
004.43(075.8)
~РУБ 004

Кл.слова (ненормированные):
УЧЕБНЫЕ ПОСОБИЯ -- ЭЛЕКТРОННЫЕ РЕСУРСЫ -- ПОРТЫ -- ТРИГГЕРЫ -- ЦИФРОВЫЕ АВТОМАТЫ -- ВЕРИФИКАЦИЯ -- ДИСКРЕТНЫЕ УСТРОЙСТВА -- ИМПЛЕМЕНТАЦИЯ -- МОДУЛИ -- СХЕМЫ

Доп.точки доступа:
Буренева, Ольга Викторовна
Платунов, А. Е. \рец.\
Филиппов, А. С. \рец.\

Перейти к внешнему ресурсу https://e.lanbook.com/reader/book/158952/#1
Постоянная гиперссылка

1-10 11-20 21-30 31-40 41-50 51-60

Статистика за 18.06.2024
Число запросов	34028
Число заказов	0

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)