Библиотечная система ФГБОУ ВО 'ИжГТУ имени М.Т.Калашникова'

Главная

Упрощенный режим

Описание

Шлюз Z39.50

Базы данных

Библиотечная БД - результаты поиска

Вид поиска

Библиотечная БД

Имидж-каталог

Учебно-методические пособия

Выпускные квалификационные работы

Учебно-методоческие издания

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

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

Выпускные квалификационные работы (2)

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

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

Поисковый запрос: (<.>K=верификация<.>)

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

008(03)
К 90

Культурология. ХХ век [Текст] : энциклопедия / гл. ред. и сост. С. Я. Левит. - Санкт-Петербург : Унив. кн.: Алетейя.
Т. 1 : А - Л. - 1998. - 448 с. - Указ имен: с. 427-447. - ISBN 5-7914-0028-4 (в пер.). - ISBN 5-7914-0027-6 : 108.49 р.

УДК

008(03)

ББК 71я2 + 71.3(0)я2 + 71.0я2
Рубрики: КУЛЬТУРА--ОБЩИЕ ВОПРОСЫ КУЛЬТУРЫ
Кл.слова (ненормированные):
культурологи -- история -- философы -- историки -- литераторы -- культурная марганальность -- менталитет -- постмодернизм -- символизм -- структурализм -- субкультура -- сюрреализм -- верификация -- интеллигенция

Доп.точки доступа:
Левит, С. Я. \ред., сост.\
Экземпляры всего: 2
ИБО (1), ЧЗ№1 (1)
Свободны: ИБО (1), ЧЗ№1 (1)
Найти похожие

008(03)
К 90

Культурология. ХХ век [Текст] : энциклопедия / гл. ред., сост. С.Я. Левит. - СПб. : Унив. кн., 1998 - .
Т. 2 : М - Я. - 448 с. - Указ имен: с. 428-444. - ISBN 5-7914-0029-2 (В пер.). - ISBN 5-7914-0027-6 : 108-49 р.

УДК

008(03)

ББК 71я271.3(0)я271.0я2
Рубрики: КУЛЬТУРА--ОБЩИЕ ВОПРОСЫ КУЛЬТУРЫ
Кл.слова (ненормированные):
Культурологи -- История -- Философы -- Историки -- Литераторы -- Марганальность культурная -- Менталитет -- Постмодернизм -- Символизм -- Структурализм -- Субкультура -- Сюрреализм -- Верификация -- Интеллигенция

Доп.точки доступа:
Левит, С.Я. \гл. ред., сост.\
Экземпляры всего: 2
ИБО (1), ЧЗ¦1 (1)
Свободны: ИБО (1), ЧЗ¦1 (1)
Найти похожие

681.3.06(075)
С 59

Соколов, А. П.
Системы программирования [Text] : теория, методы, алгоритмы : учеб. пособие для вузов / Соколов, А. П. - М. : Финансы и статистика, 2004. - 320 с. : ил. - Библиогр.: с. 309-310. - Предм. указ. : с. 313-320. - ISBN 5-279-02770-7 : 130-00 р.

УДК

681.3.06(075)

681.3.06:518.51т

Рубрики: АВТОМАТИКА И ТЕЛЕМЕХАНИКА.ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА--ТЕОРЕТИЧЕСКИЕ ОСНОВЫ ПРОГРАММИРОВАНИЯ--ЯЗЫКИ ПРОГРАММИРОВАНИЯ
Кл.слова (ненормированные):
программирование -- языки программирования -- конечные автоматы -- формальные грамматики -- алгоритмы трансляции -- Ассемблер -- верификация программ -- системы программирования

Экземпляры всего: 1
ОХФ (1)
Свободны: ОХФ (1)
Найти похожие

   658(075)
   О-75


    Основы построения САПР ТП в многономенклатурном машиностроительном производстве [Текст] : учебник для вузов / Г. Б. Бурдо [и др.]. - Старый Оскол : ТНТ, 2013. - 279, [3] с. : ил., табл., схемы. - Библиогр.: с. 274-278. - ISBN 978-5-94178-378-6 (в пер.) : 481.50 р.
ВПО

ГРНТИ	55.01.85	55.13.15
УДК	658.512.2(075)	658.512.2.011.56(075)	621.002.2(075)

Рубрики: МАШИНОСТРОЕНИЕ--АВТОМАТИЗИРОВАННОЕ ПРОЕКТИРОВАНИЕ--УЧЕБНИКИ И ПОСОБИЯ
Кл.слова (ненормированные):
САПР ТП -- системы автоматизированного проектирования -- технологические процессы -- технологическая подготовка -- производственные системы -- искусственный интеллект -- верификация моделей проектирования -- валидация моделей проектирования

Доп.точки доступа:
Бурдо, Г. Б.; Григорьев, С. Н.; Камаев, В. А.; Митрофанов, В. Г.; Палюх, Б. В.; Схиртладзе, А. Г.
Экземпляры всего: 10
ОХиИФ (1), ООЛ (8), ЧЗ№4 (1)
Свободны: ОХиИФ (1), ООЛ (8), ЧЗ№4 (1)
Найти похожие

Тематический навигатор

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