Поисковый запрос: (<.>K=формализация<.>) |
Общее количество найденных документов : 36
Показаны документы с 1 по 10 |
|
1. 
| 91
Т 761
Трофимов, А. М.
Концептуальные основы моделирования в географии. Развитие основных идей и путей математизации и формализации в географии / А. М. Трофимов, Е. И. Игонин. - Казань : Матбугат йорты, 2001. - 340 с. - Библиогр.: с. 279-337. - ISBN 5-89120-188-7 : 90.00 р. Рубрики: Геосистемы
Кл.слова (ненормированные):
Учебные издания -- Геосистемы -- География (математические методы) -- Геосистемы -- География (формализация)
Доп.точки доступа:
Игонин, Е. И.
Экземпляры всего: 1
ЧЗГФ (1)
Свободны: ЧЗГФ (1)
Найти похожие
|
2.
| 517
М 742
Могилевский, Вадим Дмитриевич.
Формализация динамических систем [Текст] / Вадим Дмитриевич Могилевский. - М. : Вузовская кн., 1999. - 216с. - ISBN 5-89522-019-3 : 40 р.РУБ 517
Рубрики: Динамические системы
Кл.слова (ненормированные):
Гамильтоновы представления -- Динамические системы
Экземпляры всего: 1
Х (1)
Свободны: Х (1)
Найти похожие
|
3.
| 301
С 692
Социальные системы.Формализация и компьютерное моделирование : Учеб.пособие / Омск.ун-т. - Омск : Омск.ун-т, 2000. - 160с. - 50 р.ББК С5в5я73
Рубрики: Социология
Кл.слова (ненормированные):
Гендерные отношения -- Индивид.социология -- Компьютерное моделирование -- Учебное пособие -- Личность -- Социальные системы -- Социология семьи -- Этногенез -- Межличностные взаимодействия
Экземпляры всего: 1
Х (1)
Свободны: Х (1)
Найти похожие
|
4.
| 1543905
Петров, О. Н.
Разработка моделей формализации динамической базы знаний на основе принципа адаптивного резонанса : автореферат дис. ... канд. техн. наук : 05.13.18 / О. Н. Петров ; Санкт-Петербург. гос. электротех. ун-т. - СПб., 2008. - 18 с.
Рубрики: Математическое моделирование, численные методы и комплексы программ
Кл.слова (ненормированные):
РАЗРАБОТКА МОДЕЛЕЙ -- МОДЕЛИ ФОРМАЛИЗАЦИИ -- ФОРМАЛИЗАЦИЯ ДИНАМИЧЕСКОЙ БАЗЫ ЗНАНИЙ -- ПРИНЦИП АДАПТИВНОГО РЕЗОНАНСА -- БОРТОВЫЕ КОМПЛЕКСЫ УПРАВЛЕНИЯ -- ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ -- БОРТОВАЯ ИНТЕЛЛЕКТУАЛЬНАЯ СИСТЕМА -- БЕЗОПАСНОСТЬ ЭКСПЛУАТАЦИИ СУДОВ -- НЕШТАТНЫЕ СИТУАЦИИ -- ИНТЕНСИВНОСТЬ ВНЕШНИХ ВОЗМУЩЕНИЙ (ОЦЕНКА) -- ПАРАМЕТРИЧЕСКИЙ РЕЗОНАНС
Экземпляры всего: 1
Х (1)
Свободны: Х (1)
Найти похожие
|
5.
| 625
И 468
Ильичев, Алексей Васильевич.
Основы анализа эффективности и рисков целевых программ. Истоки, формализация, реализация / А. В. Ильичев. - Москва : Научный мир, 2009. - 302 с. : ил. + 22 см. - Библиогр.в конце кн. - ISBN 978-5-91522-051-4 : 250 р. Рубрики: Ракетная техника--Проектирование
Кл.слова (ненормированные):
ВОЕННАЯ РАКЕТНАЯ ТЕХНИКА -- ВОЕННАЯ КОСМИЧЕСКАЯ ТЕХНИКА -- ПРОЕКТИРОВАНИЕ СИСТЕМ -- РАКЕТНО-КОСМИЧЕСКАЯ ТЕХНИКА -- СИСТЕМНЫЕ ТЕХНОЛОГИИ
Экземпляры всего: 1
Х (1)
Свободны: Х (1)
Найти похожие
|
6.
| 1549830
Смирнова, С. С.
Математическое моделирование работы в производственно-организационных системах при заданных ограничениях : автореферат дис. ... д-ра техн. наук : 05.13.18 / С. С. Смирнова ; Казан. гос. тех. ун-т. - Казань, 2009. - 16 с.
Рубрики: Математическое моделирование, численные методы и комплексы программ
Кл.слова (ненормированные):
МАТЕМАТИЧЕСКОЕ МОДЕЛИРОВАНИЕ -- ПРОИЗВОДСТВЕННО-ОРГАНИЗАЦИОННЫЕ СИСТЕМЫ -- РАБОТА ПРИ ЗАДАННЫХ ОГРАНИЧЕНИЯХ -- ФОРМАЛИЗАЦИЯ РАБОТ -- ВЫПОЛНИМОСТЬ РАБОТ (АЛГОРИТМЫ ОЦЕНКИ)
Экземпляры всего: 1
Х (1)
Свободны: Х (1)
Найти похожие
|
7.
| 4
П 279
Перцова, Наталья Николаевна.
Формализация толкования слова : учебное пособие / Н. Н. Перцова. - Москва : Издательство Московского университета, 1988. - 83 с. - 00.15 р.ББК Ш03я73
Рубрики: Языкознание--Учебные издания
Кл.слова (ненормированные):
слово (толкование)
Экземпляры всего: 1
АБУ (1)
Свободны: АБУ (1)
Найти похожие
|
8.
| 1559169
Григорьев, М. В.
Математическое моделирование верификации процесса разработки программного обеспечения : автореферат дис. ... канд. техн. наук : 05.13.18 / М. В. Григорьев ; Тюмен. гос. ун-т. - Тюмень, 2009. - 18 с.
Кл.слова (ненормированные):
ПРОГРАММНАЯ ИНЖЕНЕРИЯ -- ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ (РАЗРАБОТКА) -- МАТЕМАТИЧЕСКОЕ МОДЕЛИРОВАНИЕ ВЕРИФИКАЦИИ -- ФОРМАЛИЗАЦИЯ ВЕРИФИКАЦИИ -- ПРОЦЕСС КОМАНДНОЙ РАЗРАБОТКИ ПРОЕКТОВ -- КОРРЕКТНОСТЬ ОРГАНИЗАЦИИ ПРОЦЕССОВ -- ПОДДЕРЖКА ПРОЦЕССА РАЗРАБОТКИ
Экземпляры всего: 1
Х (1)
Свободны: Х (1)
Найти похожие
|
9.
| 1581588
Штыков, Дмитрий Викторович.
Категория "согласие" среди основных понятий в семейном праве Российской Федерации : автореферат дис. ... канд. юрид. наук : 12.00.03 / Д. В. Штыков ; Акад. нар. хоз-ва при Правительстве РФ. - Москва, 2010. - 30 с.
Кл.слова (ненормированные):
ПРАВОВЫЕ КАТЕГОРИИ -- КАТЕГОРИЯ СОГЛАСИЕ -- ЮРИДИЧЕСКИЙ ФАКТ -- СЕМЕЙНОЕ ПРАВО РФ -- СЕМЕЙНЫЕ ПРАВООТНОШЕНИЯ -- ПРАВОВОЕ РЕГУЛИРОВАНИЕ ОТНОШЕНИЙ -- ФОРМАЛИЗАЦИЯ
Перейти: http://dlib.rsl.ru/rsl01004000000/rsl01004607000/rsl01004607505/rsl01004607505.pdf
Экземпляры всего: 1
Х (1)
Свободны: Х (1)
Найти похожие
|
10.
| 378
В 883
ВУЗ. XXI век : научно-информационный вестник / Зап.-Урал. ин-т экономики и права. - Пермь : Западно-Уральский институт экономики и права, 2001 - .
Вып.32. - 2010. - 162 с. : ил. - Библиогр. в подстроч. примеч. - 100 экз. - ISBN 978-5-89919-120-6 : 100 р.
Содержание:
Дементьев, Борис Петрович. 65 лет Победы: Роль Урала в годы Великой Отечественной войны / Б. П. Дементьев
Прокин, В. В. Экономическая теория и политика модернизации / В. В. Прокин
Шешуков, Б. И. Анализ взаимосвязи повышения производительности труда с системой административного управления предприятием / Б. И. Шешуков
Степанова, В. М. Исследование особенностей современной денежно-кредитной политики Банка России / В. М. Степанова
Елохов, Александр Михайлович. Моделирование социально-экономического развития города / А. М. Елохов
Худолей, Д. М. Формализация знаний о формах правления государства / Д. М. Худолей
Чиртулова, А. Н. Презентация как вид самостоятельной работы студентов / А. Н. Чиртулова
Ерахтина, О. С. Проблемы заключения сделок с заинтересованностью в коммерческой практике / О. С. Ерахтина, Г. А. СибгатуллинаББК Ч484(2Рос)я43
Рубрики: Высшая школа--Российская Федерация--Научно-информационные вестники
Кл.слова (ненормированные):
ЮРИСПРУДЕНЦИЯ -- ГУМАНИТАРНЫЕ ИССЛЕДОВАНИЯ -- ВЫСШЕЕ ОБРАЗОВАНИЕ РФ -- ВЫСШЕЕ ОБРАЗОВАНИЕ (МЕЖДУНАРОДНЫЕ СВЯЗИ)
Доп.точки доступа:
Западно-Уральский институт экономики и права
Экземпляры всего: 1
Х (1)
Свободны: Х (1)
Найти похожие
|
|
|
|
Главная
Основная библиотечная БД
Стандартный