Версия для слабовидящих: Вкл Выкл Изображения: Вкл Выкл Размер шрифта: A A A Цветовая схема: A A A A
Главная ИРБИС64+ Упрощенный режим Описание
Авторизация
Логин
Пароль
 

Базы данных


ЭБС IPRBooks- результаты поиска

Вид поиска

Область поиска
в найденном
 Найдено в других БД:ВКР (2)
Формат представления найденных документов:
полныйинформационный краткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=верификация<.>)
Общее количество найденных документов : 17
Показаны документы с 1 по 10
 1-10    11-17 
1.

Селиверстова О. Н. Труды по семантике/Селиверстова О. Н.. - 2004
2.

Вельдер С. Э. Верификация автоматных программ/Вельдер С. Э.. - 2011
3.

Черемисинов Д. И. Проектирование и анализ параллелизма в процессах и программах/Черемисинов Д. И.. - 2011
4.

Волкова Е. В. Психология специальных способностей. Дифференционно-интеграционный подход/Волкова Е. В.. - 2011
5.

Хащенко В. А. Психология экономического благополучия/Хащенко В. А.. - 2012
6.

Аверина Т. А. Верификация численных методов решения систем со случайной структурой/Аверина Т. А.. - 2015
7.

Долозов Н. Л. Программные средства защиты информации/Долозов Н. Л.. - 2015
8.

Русак С. Н. Моделирование систем управления/Русак С. Н.. - 2015
9.

Гатина Л. И. Социальное прогнозирование и проектирование в экономике/Гатина Л. И.. - 2015
10.

Тарутин И. Г. Радиационная защита в лучевой терапии/Тарутин И. Г.. - 2015
 1-10    11-17 
 
Статистика
за 07.07.2024
Число запросов 0
Число посетителей 0
Число заказов 0
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)