Поисковый запрос: (<.>K=ВЕРИФИКАЦИЯ<.>) |
Общее количество найденных документов : 105
Показаны документы с 1 по 20 |
|
1.
|
, 2012г.3 (Введено оглавление) (
экз. )
|
2.
| Научная сессия ТУСУР - 2017 [] : материалы Международной науч.-технической конф. студентов, аспирантов и молодых ученых, посвящ. 55-летию ТУСУРа 10-12 мая 2017 г., г. Томск. В восьми частях / Минобрнауки России, ФГБОУ ВО Томский государственный университет систем управления и радиоэлектроники (Томск). Ч. 4
, 2017. - 256 с. (Введено оглавление) (
1 экз. )
|
3.
| Найбороденко, Нина Максимовна. Прогнозирование и стратегия социального развития России : монография. - М. : Маркетинг
, 2003. - 352 с. (
1 экз. )
|
4.
| Мирсаитов Р. А. Верификация человека по изображению лица : доклад
//Научная сессия ТУСУР-2009. - Томск : В-Спектр, 2009. - Ч. 4. - С.226-229. (
экз. )
|
5.
| Кириллович, Александр Витальевич. Модели и методы построения многоязычного облака Лингвистических открытых связанных данных : автореферат диссертации ... кандидата технических наук: 05.13.11. - Казань
, 2019. - 25 с. (
1 экз. )
|
6.
| Липаев, Владимир Васильевич. Методы обеспечения качества крупномасштабных программных средств : Монография. - М. : СИНТЕГ
, 2003. - 510[10] с. (
2 экз. )
|
7.
| Кондратьев, Сергей Александрович. Разработка математического и прикладного программного обеспечения системы временной верификации проектов специализированных КМОП БИС : Автореферат диссертации на соискание ученой степени кандидата технических наук. 05.13.12. - М.
, 1995. - 26[4] с (
1 экз. )
|
8.
| Сташин, Владислав Викторович. Проектирование цифровых устройств на однокристальных микроконтроллерах : . - М. : Энергоатомиздат
, 1990. - 224 с. (
35 экз. )
|
9.
| Полежаев, Максим Олегович. Моделирование и верификация аппаратно - программного комплекса для обеспечения целостности сигналов при проектировании вычислительных систем : автореферат диссертации на соискание ученой степени кандидата технических наук. Спец. 05.13.05 - элементы и устройства вычислительной техники и систем управления. - М.
, 2014. - 20 с. (
1 экз. )
|
10.
| Леньков, Роман Викторович. Социальное прогнозирование и проектирование : учебное пособие. - М. : ФОРУМ-ИНФРА-М
, 2014. - 192 с. (
2 экз. )
|
11.
| Кларк, Эдмунд М.. Верификация моделей программ: Model Checking : Монография: Пер. с англ.. - М. : МЦНМО
, 2002. - 416 с. (
2 экз. )
|
12.
| Хибель, Михаэль. Основы векторного анализа цепей. - М. : Издательский дом МЭИ
, 2009. - 502 с. (
8 экз. )
|
13.
| Вагин, Денис Владимирович. Методы и реализующее их программное обеспечение для решения трёхмерных прямых и обратных задач геоэлектромагнетизма, термоупругости и многофазной фильтрации : автореферат диссертации на соискание ученой степени доктора технических наук. Спец. 05.13.18 - Математическое моделирование, численные методы и комплексы программ. - Новосибирск
, 2022. - 39 с. (
1 экз. )
|
14.
| Кораблев А. С. Верификация сырья и материалов
//Научная сессия ТУСУР-2007. - Томск : В-Спектр, 2007. Ч. 5. - С.296-298. (
экз. )
|
15.
| Тупоносова, Елена Павловна. Управление кадровым обеспечением регионального производственного комплекса "ВУЗ - нефтяной кластер" : автореферат ...кандидата технических наук: 2.3.3. - Самара
, 2023. - 24 с. (
1 экз. )
|
16.
| Кенжегулова, Зарина Муратбековна. Аналитические модели защитных полосковых устройств на основе метода модального разложения во временной области : диссертация на соискание ученой степени кандидата технических наук. Спец. 2.2.13 - Радиотехника, в том числе системы и устройства телевидения
, 2023. - 166 с. (
1 экз. )
|
17.
| Кенжегулова, Зарина Муратбековна. Аналитические модели защитных полосковых устройств на основе метода модального разложения во временной области : автореферат диссертации на соискание ученой степени кандидата технических наук. Спец. 2.2.13 - Радиотехника, в том числе системы и устройства телевидения
, 2023. - 19 с. (
2 экз. )
|
18.
| Янушевская, Марина Николаевна. Аудит качества : учебное пособие. - Томск : Издательство ТУСУРа
, 2021. - 120 с. (
3 экз. )
|
19.
| Ручай, Алексей Николаевич. Текстозависимая верификация диктора: модель, статистические исследования, комплекс программ : автореферат диссертации на соискание ученой степени кандидата физико-математических наук. 05.13.18. - Челябинск
, 2012. - 22 с. (
1 экз. )
|
20.
| Дидикин, Антон Борисович. Формирование и развитие аналитической традиции в философии права ХХ века : автореферат диссертации ... доктора философских наук. Спец. 09.00.03 - История философии. - Томск
, 2016. - 33 с. (
1 экз. )
|
|
|
|
Основная база библиотеки
Стандартный