Поисковый запрос: (<.>K=ВЕРИФИКАЦИЯ<.>) |
Общее количество найденных документов : 105
Показаны документы с 1 по 10 |
|
1.
| Сташин, Владислав Викторович. Проектирование цифровых устройств на однокристальных микроконтроллерах : . - М. : Энергоатомиздат
, 1990. - 224 с. (
35 экз. )
|
2.
| Кондратьев, Сергей Александрович. Разработка математического и прикладного программного обеспечения системы временной верификации проектов специализированных КМОП БИС : Автореферат диссертации на соискание ученой степени кандидата технических наук. 05.13.12. - М.
, 1995. - 26[4] с (
1 экз. )
|
3.
| Кларк, Эдмунд М.. Верификация моделей программ: Model Checking : Монография: Пер. с англ.. - М. : МЦНМО
, 2002. - 416 с. (
2 экз. )
|
4.
| Липаев, Владимир Васильевич. Методы обеспечения качества крупномасштабных программных средств : Монография. - М. : СИНТЕГ
, 2003. - 510[10] с. (
2 экз. )
|
5.
| Найбороденко, Нина Максимовна. Прогнозирование и стратегия социального развития России : монография. - М. : Маркетинг
, 2003. - 352 с. (
1 экз. )
|
6.
|
Доклады Томского государственного университета систем управления и радиоэлектроники. - Журнал, 2006г. N 6(14) (Введено оглавление) (
2 экз. )
|
7.
| Кораблев А. С. Верификация сырья и материалов
//Научная сессия ТУСУР-2007. - Томск : В-Спектр, 2007. Ч. 5. - С.296-298. (
экз. )
|
8.
| Юдин А. И. Верификация знаний с использованием полиграфа : доклад, тезисы доклада
//Научная сессия ТУСУР-2008. - Томск : В-Спектр, 2008. - Ч. 3. - С.234-236 (
экз. )
|
9.
| Хибель, Михаэль. Основы векторного анализа цепей. - М. : Издательский дом МЭИ
, 2009. - 502 с. (
8 экз. )
|
10.
| Мирсаитов Р. А. Верификация человека по изображению лица : доклад
//Научная сессия ТУСУР-2009. - Томск : В-Спектр, 2009. - Ч. 4. - С.226-229. (
экз. )
|
|
|
|
Основная база библиотеки
Стандартный