Логин
(фамилия)
:
Пароль
(штрих-код)
:
Сводный каталог НТЛ по Ярославской области - результаты поиска
Базы данных:
Электронный каталог МУБиНТ, г. Ярославль
Электронный каталог МУБиНТ, г. Рыбинск
Центр иностранной литературы
Сводный каталог НТЛ по Ярославской области
"Руконт"-Национальный цифровой ресурс
Электронный каталог выпускных квалификационных работ
Виды поиска:
Стандартный
Расширенный
По словарю
Поиск в найденном
Ключевые слова
Автор
Заглавие
Год издания
Найдено в других БД:
Электронный каталог МУБиНТ, г. Ярославль (3)
"Руконт"-Национальный цифровой ресурс (3)
Отсортировать найденные документы по:
автору
заглавию
году издания
типу документа
Поисковый запрос:
(<.>K=формальных<.>)
Общее количество найденных документов
:
9
Показаны документы
с 1 по 9
1..9
1.
В161.62
Ч-89
Чулков, Сергей Павлович
.
О сходимости и существовании
формальных
решений систем квазилинейных дифференциальных уравнений в частных производных [Текст] : автореф. дисс. на соиск. уч. степ. кан. физ.-мат. наук. 01.01.04 / С. П. Чулков ; МГУ. - М. : [б. и.], 2005. - 12 с. - б/ц
ББК
В161.62
Рубрики:
Математический анализ
Кл.слова (ненормированные):
авторефераты В161.62
--
дифференциальные уравнения
--
частные производные
--
линейные дифференциальные уравнения
Держатели документа:
ЯрГУ ЯрГУ/ЧЗ/НБ
Свободных экз. нет
Найти похожие
2.
В12
К84
Крупский, Николай Владимирович
.
Некоторые алгоритмические вопросы для
формальных
систем со свойством интернализации выводов [Текст] : автореф. дисс. на соиск уч. степ. кан. физ.-мат. наук. 01.01.06 / Н. В. Крупский ; МГУ. - М. : [б. и.], 2006. - 12 с. - б/ц
ББК
В12
Рубрики:
Математика
Логика
Кл.слова (ненормированные):
авторефераты В12
--
основания математики
--
математическая логика
--
теория доказательств
--
рефлексивная комбинаторная логика
Держатели документа:
ЯрГУ ЯрГУ/ЧЗ/НБ
Свободных экз. нет
Найти похожие
3.
В12
С50
Смальян, Раймонд М.
Теория
формальных
систем [Текст] : нелитературный текст / Раймонд М.Смальян ; Под ред.Н.А.Шанина.Пер.с англ. - М. : Наука, 1981. - 207с. - (Математическая логика и основания математики). - 1.00 р.
ББК
В12
Рубрики:
логика
Кл.слова (ненормированные):
б-ка Русина
--
математическая логика
--
теория
формальных
систем
Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ, ЯрГУ/КХ/НБ
Свободных экз. нет
Найти похожие
4.
>
Шифр: ЭА/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)
Найти похожие
5.
В18я73
П 25
Пентус, Анна Евгеньевна
.
Математическая теория
формальных
языков [] : учеб. пособие для вузов / А. Е. Пентус, М. Р. Пентус. - М. : Интернет-Ун-т Информационных Технологий : БИНОМ. Лаборатория знаний, 2006. - 247 с. - (Основы информатики и математики). -
ISBN
5-94774-512-7. -
ISBN
5-9556-0062-0 : 300.00 р.
ББК
В18я73
Рубрики:
Математическая кибернетика
Кл.слова (ненормированные):
формальные языки
--
порождающие грамматики
--
конечные автоматы
--
математическая лингвистика
Держатели документа:
ЯрГУ
Доп.точки доступа:
Пентус, Мати Рейнович
Свободных экз. нет
Найти похожие
6.
519.7/8
Р35
Рейуорд - Смит, В. Д.
Теория
формальных
языков. Вводный курс [Текст] : пер. с англ. / В.Д. Рейуорд - Смит. - М. : Радио и связь, 1988. - 128 с. : ил. -
ISBN
5-256-001159-0 : 0.55 р.
ГРНТИ
28.25
УДК
519.7/8
Кл.слова (ненормированные):
ГРАММАТИКИ
--
РЕГУЛЯРНЫЕ
--
КОНТЕКСТНО СВОБОДНЫЕ
--
МАГАЗИННЫЙ АВТОМАТ
--
КОНЕЧНЫЙ
--
СИНТАКСИЧЕСКИЙ АНАЛИЗ
--
РАЗБОР
--
НОРМАЛЬНАЯ
--
форма Хомского
--
форма Грейбаха
--
РЕКУРСИВНЫЙ СПУСК
Держатели документа:
ОАО НПО Сатурн : 152093, г. Рыбинск, Ярославской обл., пр. Ленина, 163
Свободных экз. нет
Найти похожие
7.
Журавлев, А.
Договор о патентном праве: либерализация и упрощение
формальных
требований и процедур [Текст] : научное издание / А. Журавлев> // Интеллектуальная собственность. Промышленная собственность. - 2006. -
№1
. - С. 33-43
УДК
347.77
Кл.слова (ненормированные):
PLT
Держатели документа:
ОАО НПО Сатурн : 152093, г. Рыбинск, Ярославской обл., пр. Ленина, 163
Найти похожие
8.
Скоробогатов, А.
Институты как фактор порядка и как источник хаоса: неоинституционально-посткейнсианский анализ [Текст] : научное издание / А. Скоробогатов> // Вопросы экономики. - 2006. -
№8
. - С. 102-118
УДК
330.834.4
Кл.слова (ненормированные):
конвенциональные
--
ожидания
--
деловой
--
цикл
--
посткейнсианский
--
анализ
--
формальных
--
локальных
--
правил
--
форвардные
--
контракты
--
парадокс
--
Мински
--
институтов
--
определенности
--
антициклическая
--
политика
--
порядок
Держатели документа:
ОАО НПО Сатурн : 152093, г. Рыбинск, Ярославской обл., пр. Ленина, 163
Найти похожие
9.
Бурцев, В. В.
Оптимизация
формальных
процедур сбыта в коммерческой организации [Текст] : научное издание / В.В. Бурцев> // Экономический анализ: теория и практика. - 2007. -
№8
. - С. 17-26
УДК
658.81
Держатели документа:
ОАО НПО Сатурн : 152093, г. Рыбинск, Ярославской обл., пр. Ленина, 163
Найти похожие
1..9