Поисковый запрос: (<.>K=ВЕРИФИКАЦИЯ<.>) |
Общее количество найденных документов : 105
Показаны документы с 1 по 20 |
|
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. (
экз. )
|
11.
|
Приборостроение. - Журнал. Известия ВУЗов, 2010г. т.53 N 1 (Введено оглавление) (
1 экз. )
|
12.
|
Кибернетика и системный анализ. - Журнал, 2010г. N 4 (Введено оглавление) (
1 экз. )
|
13.
|
Приборостроение. - Журнал. Известия ВУЗов, 2010г. т.53 N 6 (Введено оглавление) (
1 экз. )
|
14.
|
Кибернетика и системный анализ. - Журнал, 2010г. N 1 (Введено оглавление) (
1 экз. )
|
15.
|
Нано-и микросистемная техника. - Журнал, 2010г. N 9 (Введено оглавление) (
1 экз. )
|
16.
|
Электроника. - Журнал. Известия ВУЗов, 2011г. N 6 (Введено оглавление) (
1 экз. )
|
17.
|
Вопросы защиты информации. - Журнал, 2011г. N 4 (Введено оглавление) (
1 экз. )
|
18.
|
Кибернетика и системный анализ. - Журнал, 2011г. N 5 (Введено оглавление) (
1 экз. )
|
19.
|
Кибернетика и системный анализ. - Журнал, 2011г. N 2 (Введено оглавление) (
1 экз. )
|
20.
|
Искусственный интеллект и принятие решений. - Журнал, 2011г. N 2 (Введено оглавление) (
1 экз. )
|
|
|
|
Основная база библиотеки
Стандартный