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

Базы данных:

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

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

Виды поиска:

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

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

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

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

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

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

1..9

В161.62
Ч-89

Чулков, Сергей Павлович.
О сходимости и существовании формальных решений систем квазилинейных дифференциальных уравнений в частных производных [Текст] : автореф. дисс. на соиск. уч. степ. кан. физ.-мат. наук. 01.01.04 / С. П. Чулков ; МГУ. - М. : [б. и.], 2005. - 12 с. - б/ц

ББК В161.62
Рубрики: Математический анализ
Кл.слова (ненормированные):
авторефераты В161.62 -- дифференциальные уравнения -- частные производные -- линейные дифференциальные уравнения

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

В12
К84

Крупский, Николай Владимирович.
Некоторые алгоритмические вопросы для формальных систем со свойством интернализации выводов [Текст] : автореф. дисс. на соиск уч. степ. кан. физ.-мат. наук. 01.01.06 / Н. В. Крупский ; МГУ. - М. : [б. и.], 2006. - 12 с. - б/ц

ББК В12
Рубрики: Математика
Логика
Кл.слова (ненормированные):
авторефераты В12 -- основания математики -- математическая логика -- теория доказательств -- рефлексивная комбинаторная логика

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

В12
С50

Смальян, Раймонд М.
Теория формальных систем [Текст] : нелитературный текст / Раймонд М.Смальян ; Под ред.Н.А.Шанина.Пер.с англ. - М. : Наука, 1981. - 207с. - (Математическая логика и основания математики). - 1.00 р.

ББК В12
Рубрики: логика
Кл.слова (ненормированные):
б-ка Русина -- математическая логика -- теория формальных систем

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

Шифр: ЭА/2007/8
Журнал

Экономический анализ: теория и практика [Текст] : Научно-практический и аналитический журнал. - М. : Издательский дом "Финансы и кредит", 2002 - . - Выходит ежемесячно
2007г. N 8

Содержание:
Киреева, Н. В. Субъектно-объектные отношения в экономическом анализе / Н. В. Киреева. - С.2-8
Кузьбожев, Э. Н. Применение теории графов в планировании / Э. Н. Кузьбожев, Т. Н. Бабич. - С.8-17
Бурцев, В. В. Оптимизация формальных процедур сбыта в коммерческой организации / В. В. Бурцев. - С.17-27
Наталуха, И. А. Упорядочение налоговых платежей за производственные выбросы в различных условиях / И. А. Наталуха. - С.27-31
Панина, И. В. Риски существенного искажения финансовой отчетности хозяйствующего субъекта / И. В. Панина. - С.31-38
Забродин, И. П. Анализ динамики затрат автотранспортных организаций по этапам жизненного цикла продукта / И. П. Забродин, А. А. Королев. - С.38-46
Мездриков, Ю. В. Анализ источников формирования оборотного каптала / Ю. В. Мездриков. - С.46-52
Минакова, И. В. Трансакции между неплатежеспособным должником и кредиторами в условиях расхождения их мотивационных установок / И. В. Минакова. - С.52-59
Константинова, Е. С. Управление производственной программой предприятия на основе применения экономико-математического моделирования / Е. С. Константинова. - С.59-65
Имеются экземпляры в отделах: всего 1 : ЧЗ (1)
Свободны: ЧЗ (1)

Найти похожие

В18я73
П 25

Пентус, Анна Евгеньевна.
Математическая теория формальных языков [] : учеб. пособие для вузов / А. Е. Пентус, М. Р. Пентус. - М. : Интернет-Ун-т Информационных Технологий : БИНОМ. Лаборатория знаний, 2006. - 247 с. - (Основы информатики и математики). - ISBN 5-94774-512-7. - ISBN 5-9556-0062-0 : 300.00 р.

ББК В18я73
Рубрики: Математическая кибернетика
Кл.слова (ненормированные):
формальные языки -- порождающие грамматики -- конечные автоматы -- математическая лингвистика

Держатели документа:
ЯрГУ

Доп.точки доступа:
Пентус, Мати Рейнович
Свободных экз. нет
Найти похожие

519.7/8
Р35

Рейуорд - Смит, В. Д.
Теория формальных языков. Вводный курс [Текст] : пер. с англ. / В.Д. Рейуорд - Смит. - М. : Радио и связь, 1988. - 128 с. : ил. - ISBN 5-256-001159-0 : 0.55 р.

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

Кл.слова (ненормированные):
ГРАММАТИКИ -- РЕГУЛЯРНЫЕ -- КОНТЕКСТНО СВОБОДНЫЕ -- МАГАЗИННЫЙ АВТОМАТ -- КОНЕЧНЫЙ -- СИНТАКСИЧЕСКИЙ АНАЛИЗ -- РАЗБОР -- НОРМАЛЬНАЯ -- форма Хомского -- форма Грейбаха -- РЕКУРСИВНЫЙ СПУСК

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

Журавлев, А.
Договор о патентном праве: либерализация и упрощение формальных требований и процедур [Текст] : научное издание / А. Журавлев // Интеллектуальная собственность. Промышленная собственность. - 2006. - №1. - С. 33-43

УДК

347.77

Кл.слова (ненормированные):
PLT

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

Найти похожие

Скоробогатов, А.
Институты как фактор порядка и как источник хаоса: неоинституционально-посткейнсианский анализ [Текст] : научное издание / А. Скоробогатов // Вопросы экономики. - 2006. - №8. - С. 102-118

УДК

330.834.4

Кл.слова (ненормированные):
конвенциональные -- ожидания -- деловой -- цикл -- посткейнсианский -- анализ -- формальных -- локальных -- правил -- форвардные -- контракты -- парадокс -- Мински -- институтов -- определенности -- антициклическая -- политика -- порядок

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

Найти похожие

Бурцев, В. В.
Оптимизация формальных процедур сбыта в коммерческой организации [Текст] : научное издание / В.В. Бурцев // Экономический анализ: теория и практика. - 2007. - №8. - С. 17-26

УДК

658.81

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

Найти похожие

1..9