Сводный каталог НТЛ по Ярославской области - результаты поиска

Базы данных:

Сводный каталог НТЛ по Ярославской области

Электронный каталог выпускных квалификационных работ

Виды поиска:

Поиск в найденном

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

Электронный каталог МУБиНТ, г. Ярославль (9)

"Руконт"-Национальный цифровой ресурс (3)

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

Поисковый запрос: (<.>K=верификация<.>)
Общее количество найденных документов : 10 Показаны документы с 1 по 10

1..10

В183.5
П18

Парийская, Екатерина Юрьевна.
Символьная верификация событийно-управляемых динамических систем [Текст] : автореферат диссертации на соискание ученой степени кандидата физико-математических наук: Специальность 05.13.17 / Е. Ю. Парийская. - Ярославль : Ярославский государственный университет им. П. Г. Демидова, 1999. - 16с. : ил. -

ББК В183.5
Рубрики: Исследование операций
Кл.слова (ненормированные):
авторефераты В183.5 -- дискретные системы

Держатели документа:
ЯрГУ ЯрГУ/ЧЗ/НБ
Свободных экз. нет
Найти похожие

65.050.9(2)2
К72

Костоглодов, Д. Д.
Маркетинг предприятия [Текст] / Д.Д.Костоглодов. - М. : ТОО"Контур", 1998. - 112с. - ISBN 5-86065-051-5 : 15,10 р.

УДК

65.050.9(2)2

ББК 65.29-2
Рубрики: 18.Экономика.Экономические науки.
Кл.слова (ненормированные):
Маркетинг.Маркетинговая верификация.Рынок.Коммерциализация.

Держатели документа:
ЯрЦБС

Доп.точки доступа:
Саввиди, И.И. ЯрЦБС/ЧЗ
Свободных экз. нет
Найти похожие

681.3
П79


    Проектирование СБИС [Текст] : пер. с япон. / М. Ватанабэ [и др.] ; пер. Г. Б. Звороно ; ред. Л. В. Поспелов. - М. : Мир, 1988. - 299 с. : рис. - Предм. указ.: с. 296-298. - ISBN 5-03-000404-1 : 1.70 р.
    Содержание:
Направление проектирования СБИС
Базовые схемы
Моделирование электронных схем
Проектирование топологии
Верификация топологии

ГРНТИ	20.15.05	50.09
УДК	681.3

ББК 32.97
Рубрики: Информационные системы--Проектирование
Информационные технологии
Аннотация: Книга посвящена методам автоматизированного проектирования БИС и СБИС.

Держатели документа:
МУБиНТ

Доп.точки доступа:
Ватанабэ, М.; Асада, К.; Кани, К.; Оцуки, Т.; Звороно, Г. Б. \пер.\; Поспелов, Л. В. \ред.\
Экземпляры всего: 1
ЧЗ (1)
Свободны: ЧЗ (1)
Найти похожие

681.3
Х68

    Хоггер, К.
    Введение в логическое программирование [Текст] = Introduction to logic programming : пер. с англ / К. Хоггер ; ред. Ю. И. Янов ; пер. М. В. Захарьящев. - М. : Мир, 1988. - 348 с. : рис. - Библиогр.: с. 328-338. - Предм. указ.: с. 339-344. - ISBN 5-03-000490-4 : 1.90 р.
    Содержание:
Представление знаний и рассуждения
Логические программы
Стиль программирования
Структуры данных
Верификация программ
Формальный синтез программ
Реализация
Вклад логического программирования в теорию вычислений

ГРНТИ	50.05
УДК	681.3	681.3.06

ББК 32.973
Рубрики: Информатика--Программирование
Аннотация: Книга знакомит с идеями и методологией логического программирования. Уделено внимание вопросам синтеза программ, реализации языков логического программирования и их применения. Для математиков-прикладников.

Держатели документа:
МУБиНТ

Доп.точки доступа:
Янов, Ю. И. \ред.\; Захарьящев, М. В. \пер.\
Экземпляры всего: 1
ЧЗ (1)
Свободны: ЧЗ (1)
Найти похожие

З817я43
С 59

Соколов, В. А.
Моделирование и анализ информационных систем [] : [сборник науч. трудов] / В. А. Соколов. Т. 13. № 2. - [Б. м. : б. и.], 2006. - 70 с. - 23.00 р.

ББК З817я43
Рубрики: Кибернетика
Информационные системы
Кл.слова (ненормированные):
математическая кибернетика -- автоматные программы -- автоматическая фокусировка -- верификация моделей программ -- ЯрГУ

Держатели документа:
ЯрГУ
Свободных экз. нет
Найти похожие

З817я43
М74

Соколов, В. А.
Моделирование и анализ информационных систем [Текст] : [науч. статьи] / В. А. Соколов. Т. 14. № 4. - [Б. м. : б. и.]. - 56 с. - 17.50 р.
С 1999 г. выходит как журнал

ББК З817я43
Рубрики: Кибернетика
Информационные системы
Кл.слова (ненормированные):
математическая кибернетика -- автоматные программы -- моделирование -- модели семантики пословиц -- синхронно-автоматные программы -- верификация -- ЯрГУ

Держатели документа:
ЯрГУ ЯрГУ/СИО, ЯрГУ/ОРК, ЯрГУ/Ф7
Свободных экз. нет
Найти похожие

В18я73
К89

Кузьмин, Егор Владимирович.
Верификация моделей программ [Текст] : учеб. пособие для вузов / Е. В. Кузьмин. - Ярославль : [б. и.], 2008. - 174 с. - ISBN 978-5-8397-0599-9 : 54.30 р.

ББК В18я73
Рубрики: Кибернетика
Кл.слова (ненормированные):
математическая кибернетика -- программные системы -- модели программ -- верификация -- проверка модели -- учебник В18 -- ЯрГУ

Держатели документа:
ЯрГУ ЯрГУ/СИО, ЯрГУ/ОРК, ЯрГУ/Ф7
Свободных экз. нет
Найти похожие

З817я43
М74

Соколов, В. А.
Моделирование и анализ информационных систем [Текст] : [науч. статьи] / В. А. Соколов. Т. 15. № 2. - [Б. м. : б. и.]. - 98 с. - 52.00 р.
С 1999 г. выходит как журнал

ББК З817я43
Рубрики: Кибернетика
Информационные системы
Кл.слова (ненормированные):
нейронные сети -- экономические явления -- статистическая оценка -- синхронно-автоматные программы -- верификация -- модели нейронных сетей -- ЯрГУ

Держатели документа:
ЯрГУ ЯрГУ/СИО, ЯрГУ/ОРК, ЯрГУ/Ф7
Свободных экз. нет
Найти похожие

519.7/8
С20

Саркисян, С. А.
Прогнозирование развития больших систем [Текст] : научное издание / С.А. Саркисян, Л.В. Голованов. - М. : Статистика, 1975. - 192 с. : ил. - (Математическая статистика для экономистов). - Библиогр.: с. 190-192. - 0.60 р.

ГРНТИ	28
УДК	519.7/8

Кл.слова (ненормированные):
метод экстраполяции -- метод экспертных оценок -- метод парных сравнений -- метод прогнозного графа -- метод регрессионных моделей -- КОРРЕЛЯЦИОННЫХ -- НОРМАТИВНОЕ -- ОЦЕНКА -- КОМПЛЕКСНЫЕ -- ПАТТЕРН -- ВЕРИФИКАЦИЯ ПРОГНОЗА -- ЛЕТАТЕЛЬНЫЕ АППАРАТЫ -- БТС -- СТОИМОСТЬ -- СРАВНИТЕЛЬНЫЙ АНАЛИЗ

Держатели документа:
ОАО НПО Сатурн : 152093, г. Рыбинск, Ярославской обл., пр. Ленина, 163

Доп.точки доступа:
Голованов, Л.В.
Свободных экз. нет
Найти похожие

10.

(Нет сведений об экземплярах)
Шифр: БТ-168563/2005/8

Безопасность труда в промышленности [Текст] : ежемесячный массовый научно-производственный журнал широкого профиля. - М. : Промышленная безопасность, 1932 - . - ISSN 0409-2961. - Выходит ежемесячно
2005г. № 8

Содержание:
Шундулиди, И. А. О принципах обеспечения безопасности труда на угольных шахтах / И.А. Шундулиди. - С.2-4
Ястреба, С. В. Применение электропривода с частотным регулированием на грузоподъемных кранах / С.В. Ястреба. - С.6-8
Артемьев, В. Б. Об аварии в филиале "Шахта "Есаульская" ОАО "ОУК "Южкузбассуголь" / В.Б. Артемьев. - С.9-14
Попов, Ю. В. Оценка силовых характеристик средств магнитной защиты на опасных производственных объектах по хранению и переработке растительного сырья / Ю.В. Попов. - С.20-24
Бабенко, С. П. Расчет коэффициента задержки вдыхаемых аэрозольных частиц в альвеолах / С.П. Бабенко. - С.25-27
Кл.слова: гексафторид, урана, UF6
Сумской, С. И. Верификация методик оценки последствий аварийных выбросов газа от источников продолжительного действия / С.И. Сумской, А.В. Пчельников, М.В. Лисанов. - С.28-35
Горбатов, В. А. Респиратор РХ-90Т - новое отечественное средство защиты органов дыхания горноспасателей / В.А. Горбатов, С.Б. Путин. - С.36-37
Кл.слова: ИСЗ, ИНДИВИДУАЛЬНОЕ
Крохалев, Б. Г. Кислород и изолирующий респиратор / Б.Г. Крохалев. - С.37-39
Кл.слова: ИНДИВИДУАЛЬНОЕ, ИСЗ
Морозов, Э. В. Практика экспертизы промышленной безопасности проектов строительства систем сотовой радиотелефонной связи на объектах хранения, переработки и использования растительного сырья / Э.В. Морозов. - С.46-49
Демичев, В. Н. Современные тенденции оценки соответствия арматуры требованиям промышленной безопасности в теплоэнергетике / В.Н. Демичев, И.Н. Сотов, В.И. Черноштан. - С.55-57
Тюляков, В. С. Опасности и повреждающие факторы, характерные для профессии электрогазосварщика / В.С. Тюляков, Д.Н. Калашников. - С.57-60
Нет сведений об экземплярах
Держатели документа:
ОАО НПО Сатурн : 152093, г. Рыбинск, Ярославской обл., пр. Ленина, 163
Найти похожие

1..10